|
From: <chr...@us...> - 2012-02-21 18:01:41
|
Revision: 3557
http://dlvhex.svn.sourceforge.net/dlvhex/?rev=3557&view=rev
Author: chrisr86
Date: 2012-02-21 18:01:35 +0000 (Tue, 21 Feb 2012)
Log Message:
-----------
fix bug in ClaspSolver
Modified Paths:
--------------
dlvhex/branches/dlvhex-refactoring/src/ClaspSolver.cpp
Modified: dlvhex/branches/dlvhex-refactoring/src/ClaspSolver.cpp
===================================================================
--- dlvhex/branches/dlvhex-refactoring/src/ClaspSolver.cpp 2012-02-21 17:13:28 UTC (rev 3556)
+++ dlvhex/branches/dlvhex-refactoring/src/ClaspSolver.cpp 2012-02-21 18:01:35 UTC (rev 3557)
@@ -264,6 +264,7 @@
#ifndef NDEBUG
ss << " }";
+#endif
clauseCreator->end();
//std::cout << claspInstance.numTernary() << ", " << claspInstance.numBinary() << ", " << claspInstance.numLearntShort() << std::endl;
@@ -291,7 +292,7 @@
*/
DBGLOG(DBG, "Adding nogood " << ng << " as clasp-clause " << ss.str());
-#endif
+
return false;
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|