From: Siesh1oo <siesh1oo@siesh1oo.no>
Date: Wed, 12 Mar 2014 13:12:52 +0000 (+0100)
Subject:  - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPe... 
X-Git-Tag: yosys-0.3.0~57^2~1^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=948d04c06c181a1c270017b6d7c819426a360303;p=yosys.git

 - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)
---

diff --git a/libs/minisat/System.cc b/libs/minisat/System.cc
index 01d0dfe11..59e65fb56 100644
--- a/libs/minisat/System.cc
+++ b/libs/minisat/System.cc
@@ -79,7 +79,7 @@ double Minisat::memUsed() {
     struct rusage ru;
     getrusage(RUSAGE_SELF, &ru);
     return (double)ru.ru_maxrss / 1024; }
-double Minisat::memUsedPeak() { return memUsed(); }
+double Minisat::memUsedPeak(bool strictlyPeak) { (void) strictlyPeak; return memUsed(); }
 
 
 #elif defined(__APPLE__)
@@ -89,11 +89,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) { (void) strictlyPeak; return memUsed(); }
 
 #else
 double Minisat::memUsed()     { return 0; }
-double Minisat::memUsedPeak() { return 0; }
+double Minisat::memUsedPeak(bool strictlyPeak) { (void) strictlyPeak; return 0; }
 #endif