[gecode] fix build against gecode 4.2.0 (closes #167329) stable rql-centos-version-0.31.4-1 rql-debian-version-0.31.4-1 rql-version-0.31.4
authorDavid Douard <david.douard@logilab.fr>
Thu, 08 Aug 2013 08:57:51 +0200
branchstable
changeset 717 5cad47e1ffbf
parent 716 134b04defd20
child 718 ff79e47ff011
[gecode] fix build against gecode 4.2.0 (closes #167329) memory statistics have been removed from the search engines.
gecode_solver.cpp
--- a/gecode_solver.cpp	Fri Jun 28 14:11:31 2013 +0200
+++ b/gecode_solver.cpp	Thu Aug 08 08:57:51 2013 +0200
@@ -415,9 +415,12 @@
 		 << "\tdepth:        " << stat.depth << endl
 		 << "\tnode:       " << stat.node << endl
 #endif
+#if GE_VERSION < PM_VERSION(4,2,0)
 		 << "\tpeak memory:   "
 		 << static_cast<int>((stat.memory+1023) / 1024) << " KB"
-		 << endl;
+		 << endl
+#endif
+		    ;
 	}
     }