Author: karstenwolf
Date: Wed Jun 10 22:48:20 2015
New Revision: 10000
URL: http://svn.gna.org/viewcvs/service-tech?rev=10000&view=rev
Log:
another attempt
Modified:
trunk/lola2/src/Planning/LTLTask.cc
Modified: trunk/lola2/src/Planning/LTLTask.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Planning/LTLTask.cc?rev=10000&r1=9999&r2=10000&view=diff
==============================================================================
--- trunk/lola2/src/Planning/LTLTask.cc (original)
+++ trunk/lola2/src/Planning/LTLTask.cc Wed Jun 10 22:48:20 2015
@@ -412,7 +412,7 @@
delete ns;
delete ltlStore;
delete fl;
- delete ltlExploration;
+ //delete ltlExploration;
//delete bauto;
#endif
}
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
