Fix compile error on clang with -stc=c++11

vitaut · vitaut · commit a87aec2b437c · 2014-04-08T11:45:57.000-07:00
diff --git a/gecode/flatzinc/flatzinc.cpp b/gecode/flatzinc/flatzinc.cpp
@@ -277,7 +277,7 @@ namespace Gecode { namespace FlatZinc {
 
   void
   BranchInformation::init(void) {
-    assert(object() == false);
+    assert(object() == 0);
     object(new BranchInformationO());
   }
 

Original file line number	Diff line number	Diff line change
`@@ -277,7 +277,7 @@ namespace Gecode { namespace FlatZinc {`
`277`	`277`
`278`	`278`	`void`
`279`	`279`	`BranchInformation::init(void) {`
`280`		`- assert(object() == false);`
	`280`	`+ assert(object() == 0);`
`281`	`281`	`object(new BranchInformationO());`
`282`	`282`	`}`
`283`	`283`