summaryrefslogtreecommitdiffstats
path: root/src/sat
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2021-12-29 12:57:23 -0800
committerMiodrag Milanovic <mmicko@gmail.com>2022-05-06 08:00:29 +0200
commitc84323b5a5c6df273404b5d5ace70ae61a06bdb0 (patch)
treebb4725b88a48efb5fa79defa1d8d5bf2a5bf8f37 /src/sat
parent3da935785fcb3af3911ec4bda98304314a89edd9 (diff)
downloadabc-c84323b5a5c6df273404b5d5ace70ae61a06bdb0.tar.gz
abc-c84323b5a5c6df273404b5d5ace70ae61a06bdb0.tar.bz2
abc-c84323b5a5c6df273404b5d5ace70ae61a06bdb0.zip
Add missing class names in FreeBSD-ifdefed code.
Diffstat (limited to 'src/sat')
-rw-r--r--src/sat/glucose/System.cpp2
-rw-r--r--src/sat/glucose2/System2.cpp2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/glucose/System.cpp b/src/sat/glucose/System.cpp
index 18f2d656..276eddb8 100644
--- 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
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