msoos/cryptominisat — pull request #164 by yp (2014-04-10 10:42:35+00:00)
Title: Fix compilation when stats are not enabled.

If macro `STATS_NEEDED` is not defined, then the file does not correctly compile.
This change fixes the problem.