$OpenBSD: patch-utils_System_cc,v 1.1 2010/08/19 14:19:22 edd Exp $

 * memUsed is the same as FreeBSD
 * namespace typo

--- utils/System.cc.orig	Sat Jul 10 17:07:36 2010
+++ utils/System.cc	Tue Jul 13 10:26:09 2010
@@ -72,13 +72,13 @@ double Minisat::memUsedPeak() { 
     double peak = memReadPeak() / 1024;
     return peak == 0 ? memUsed() : peak; }
 
-#elif defined(__FreeBSD__)
+#elif defined(__FreeBSD__) || defined(__OpenBSD__)
 
 double Minisat::memUsed(void) {
     struct rusage ru;
     getrusage(RUSAGE_SELF, &ru);
     return (double)ru.ru_maxrss / 1024; }
-double MiniSat::memUsedPeak(void) { return memUsed(); }
+double Minisat::memUsedPeak(void) { return memUsed(); }
 
 
 #elif defined(__APPLE__)
