eb924c41bc
See the full description here: http://www.labri.fr/perso/lsimon/glucose/ Patches and build warnings were reported to the authors. Submitted by: myself Approved by: adamw (mentor) Differential Revision: https://reviews.freebsd.org/D14156
11 lines
365 B
C++
11 lines
365 B
C++
--- utils/System.cc.orig 2018-02-01 09:11:32 UTC
|
|
+++ utils/System.cc
|
|
@@ -78,7 +78,7 @@ double Glucose::memUsed(void) {
|
|
struct rusage ru;
|
|
getrusage(RUSAGE_SELF, &ru);
|
|
return (double)ru.ru_maxrss / 1024; }
|
|
-double MiniSat::memUsedPeak(void) { return memUsed(); }
|
|
+//double MiniSat::memUsedPeak(void) { return memUsed(); }
|
|
|
|
|
|
#elif defined(__APPLE__)
|