msoos/cryptominisat — pull request #36 by capiman (2013-01-19 16:57:24+00:00)
Title: Bugfix against compilation problems under Windows

Bugfix against compilation problems under Windows
in xorfinder.h

uint -> uint32_t