summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose2
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/glucose2')
-rw-r--r--src/sat/glucose2/System2.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose2/System2.cpp b/src/sat/glucose2/System2.cpp
index 844220a0..bf16dcd1 100644
--- a/src/sat/glucose2/System2.cpp
+++ b/src/sat/glucose2/System2.cpp
@@ -86,7 +86,7 @@ double Gluco2::memUsed(void) {
struct rusage ru;
getrusage(RUSAGE_SELF, &ru);
return (double)ru.ru_maxrss / 1024; }
-double memUsedPeak(void) { return memUsed(); }
+double Gluco2::memUsedPeak(void) { return memUsed(); }
ABC_NAMESPACE_IMPL_END