[dlvhex-notify] SF.net SVN: dlvhex:[3557] dlvhex/branches/dlvhex-refactoring/src/ ClaspSolver.cpp

[<chr...@us...>]

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.