Applied changes corresponding to the following pull request: https://github.com/niklasso/minisat/pull/14