niklasso/minisat — pull request #18 by jbransen (2014-05-08 17:24:37+00:00)
Title: Fix compilation for non-linux OS's

A bool parameter was added to memUsedPeak, but not to the code of all os's != linux so compilation fails on Windows and Mac without this change