edit

diff --git a/src/Backend/nodeedge.c b/src/Backend/nodeedge.c
index 287601e697d73965a9a95ca979ca58486d6f924e..634945365956d9441f14a59da127bdd9e7e582b6 100644 (file)
--- a/src/Backend/nodeedge.c
+++ b/src/Backend/nodeedge.c
@@ -317,6 +317,7 @@ Edge constraintNewVar(CNF *cnf) {
 void solveCNF(CNF *cnf) {
        countPass(cnf);
        convertPass(cnf, false);
+       finishedClauses(cnf->solver);
        solve(cnf->solver);
 }