Missing class name in the FreeBSD code.

48498af8 · Alan Mishchenko · 491e0e83 · 48498af8 · 48498af8
Commit 48498af8 authored Dec 29, 2021 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/sat/glucose/System.cpp
+1 -1

src/sat/glucose2/System2.cpp
+1 -1

No files found.
--- a/src/sat/glucose/System.cpp
+++ b/src/sat/glucose/System.cpp
@@ -86,7 +86,7 @@ double Gluco::memUsed(void) {
    struct rusage ru;
    getrusage(RUSAGE_SELF, &ru);
    return (double)ru.ru_maxrss / 1024; }
-double memUsedPeak(void) { return memUsed(); }
+double Gluco::memUsedPeak(void) { return memUsed(); }

 ABC_NAMESPACE_IMPL_END


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