From 00fb1d706be8fa87623e1078103ff5f375785534 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 4 Feb 2018 21:09:33 -0800
Subject: Suggested fix to compile on FreeBSD.

---
 src/sat/glucose/System.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/sat/glucose/System.cpp')

diff --git a/src/sat/glucose/System.cpp b/src/sat/glucose/System.cpp
index 8fc5ce26..18f2d656 100644
--- 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
 
-- 
cgit v1.2.3