Add missing class names in FreeBSD-ifdefed code.

c84323b5 · Yuri Victorovich · Miodrag Milanovic · 3da93578 · c84323b5 · c84323b5
Commit c84323b5 authored Dec 29, 2021 by Yuri Victorovich Committed by Miodrag Milanovic May 06, 2022
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