diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-12-29 12:57:23 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-12-29 12:57:23 -0800 |
| commit | 41c4d3c09c8a1dd159c477a09482476230b7dbb2 (patch) | |
| tree | 6959d781b733ff1373e415ae69a9109bde61fa84 | |
| parent | 491e0e833f9e4037c296a75c88c1aeea00da1e5c (diff) | |
| download | abc-41c4d3c09c8a1dd159c477a09482476230b7dbb2.tar.gz abc-41c4d3c09c8a1dd159c477a09482476230b7dbb2.tar.bz2 abc-41c4d3c09c8a1dd159c477a09482476230b7dbb2.zip | |
Add missing class names in FreeBSD-ifdefed code.
| -rw-r--r-- | src/sat/glucose/System.cpp | 2 | ||||
| -rw-r--r-- | src/sat/glucose2/System2.cpp | 2 |
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 |