Added a missing parameter to the declaration of minisat_mklit.
Merge pull request #2 from fniksic/minisat2

Added a missing parameter to the declaration of minisat_mklit.