diff options
| -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 |