Fixed "memUsedPeak not defined" bug on Mac OSX

[thejoelw]

Fix for this issue: #1

[jgalenson]

This is the same bug I mentioned in issue #9. Note that this fix is incomplete, as it doesn't change the BSD or unknown definitions.

[thejoelw]

Sorry about that; if I would have looked and seen your issue, I would have mentioned it here. Thanks for letting me know.

[GaryGoh]

I get a bug like below:

Compiling: build/release/minisat/utils/System.o
minisat/utils/System.cc:90:17: error: out-of-line definition of 'memUsedPeak' does not match any declaration in namespace 'Minisat'
double Minisat::memUsedPeak() { return memUsed(); }
^~~~~~~~~~~
1 error generated.
make: *** [build/release/minisat/utils/System.o] Error 1

anyone has idea about that? (BTW my os is Mavericks.)

[alevax]

Me too, same problem of @GaryGoh and others on MacOsX Mavericks

[simsong]

I am experiencing this same bug.