diff --git a/GMLMIP-0.1/formulas/formula.cpp b/GMLMIP-0.1/formulas/formula.cpp
index 5493548d4c98da1aa596fa14e8961f438bfd98d1..dc58133a109d054a6a8142a949c385b4bc7f6f44 100644
--- a/GMLMIP-0.1/formulas/formula.cpp
+++ b/GMLMIP-0.1/formulas/formula.cpp
@@ -55,7 +55,8 @@ vector<SatisfyingAssignment> Formula<ModalValueType>::onestep() {
 	rulechildren.clear();
 	bool backup_rek = recursive_satisfiability_check;
 	recursive_satisfiability_check = false;
-	assert(false == check_satisfiability(bdd_rep));
+	bool isSat = check_satisfiability(bdd_rep);
+	assert(isSat == false);
 	recursive_satisfiability_check = backup_rek;
 	vector<SatisfyingAssignment> ret = rulechildren;
 	rulechildren.clear();