Added a missing parameter to the declaration of minisat_mklit.