From c84323b5a5c6df273404b5d5ace70ae61a06bdb0 Mon Sep 17 00:00:00 2001
From: Yuri Victorovich <yuri@FreeBSD.org>
Date: Wed, 29 Dec 2021 12:57:23 -0800
Subject: Add missing class names in FreeBSD-ifdefed code.

---
 src/sat/glucose/System.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/glucose')

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
 
-- 
cgit v1.2.3