Fix typo in BSD-specific code.
Fix typo in BSD-specific code.

mabdula/minisat,meteor/minisat,mabdula/minisat,meteor/minisat,jamesbornholt/minisat,robertsami/minisat,robertsami/minisat,meteor/minisat,mabdula/minisat,niklasso/minisat,niklasso/minisat,jamesbornholt/minisat,meteor/minisat