Suggested fix to compile on FreeBSD.

00fb1d70 · Alan Mishchenko · 30a06d00 · 00fb1d70
Commit 00fb1d70 authored Feb 04, 2018 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletions

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

No files found.
--- a/src/sat/glucose/System.cpp
+++ b/src/sat/glucose/System.cpp
@@ -80,11 +80,13 @@ ABC_NAMESPACE_IMPL_END

 ABC_NAMESPACE_IMPL_START

+using namespace Gluco;
+
 double Gluco::memUsed(void) {
    struct rusage ru;
    getrusage(RUSAGE_SELF, &ru);
    return (double)ru.ru_maxrss / 1024; }
-double MiniSat::memUsedPeak(void) { return memUsed(); }
+double memUsedPeak(void) { return memUsed(); }

 ABC_NAMESPACE_IMPL_END