Fix declaration of Minisat::memUsedPeak for non-Linux systems

niklasso · Jun 22, 2015 · fdf7bd7 · fdf7bd7
1 parent 4d9462e
commit fdf7bd7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/minisat/utils/System.cc b/minisat/utils/System.cc
@@ -87,11 +87,11 @@ double Minisat::memUsed() {
     malloc_statistics_t t;
     malloc_zone_statistics(NULL, &t);
     return (double)t.max_size_in_use / (1024*1024); }
-double Minisat::memUsedPeak() { return memUsed(); }
+double Minisat::memUsedPeak(bool strictlyPeak) { return memUsed(); }
 
 #else
-double Minisat::memUsed()     { return 0; }
-double Minisat::memUsedPeak() { return 0; }
+double Minisat::memUsed() { return 0; }
+double Minisat::memUsedPeak(bool strictlyPeak) { return 0; }
 #endif