diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-04 21:09:33 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-04 21:09:33 -0800 |
| commit | 00fb1d706be8fa87623e1078103ff5f375785534 (patch) | |
| tree | c84868d27c09870d0f0172ae9513011a2b6822a4 /src/sat | |
| parent | 30a06d002a95235ddaed15cb37c1c7c3473c5962 (diff) | |
| download | abc-00fb1d706be8fa87623e1078103ff5f375785534.tar.gz abc-00fb1d706be8fa87623e1078103ff5f375785534.tar.bz2 abc-00fb1d706be8fa87623e1078103ff5f375785534.zip | |
Suggested fix to compile on FreeBSD.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/glucose/System.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/sat/glucose/System.cpp b/src/sat/glucose/System.cpp index 8fc5ce26..18f2d656 100644 --- a/src/sat/glucose/System.cpp +++ b/src/sat/glucose/System.cpp @@ -80,11 +80,13 @@ ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_START +using namespace Gluco; + double Gluco::memUsed(void) { struct rusage ru; getrusage(RUSAGE_SELF, &ru); return (double)ru.ru_maxrss / 1024; } -double MiniSat::memUsedPeak(void) { return memUsed(); } +double memUsedPeak(void) { return memUsed(); } ABC_NAMESPACE_IMPL_END |