Add missing class names in FreeBSD-ifdefed code.

41c4d3c0 · Yuri Victorovich · 491e0e83 · 41c4d3c0 · 41c4d3c0
Commit 41c4d3c0 authored Dec 29, 2021 by Yuri Victorovich
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