stp/stp — pull request #55 by khooyp (2013-10-01 00:46:50+00:00)
Title: Add missing memUsedPeak functions to cryptominisat2 (mostly copied from minisat).

Since 0aea31b broke compilation on OS X (and probably other systems) due to a missing memUsedPeak.