Wrong define for MinisatCore_prop.h
Wrong define for MinisatCore_prop.h

Thanks to Matthew Dempsky for catching this!

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp