--- utils/System.cc	2010-07-10 18:07:36.000000000 +0200
+++ utils/System.cc	2011-09-05 18:44:07.000000000 +0200
@@ -88,6 +88,7 @@
     malloc_statistics_t t;
     malloc_zone_statistics(NULL, &t);
     return (double)t.max_size_in_use / (1024*1024); }
+double Minisat::memUsedPeak(void) { return memUsed(); }
 
 #else
 double Minisat::memUsed() {