casa-mp-base

--- 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() {