From: bdemsky <bdemsky@uci.edu>
Date: Mon, 10 Jul 2017 20:49:57 +0000 (-0700)
Subject: edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=606e9d6098c5a616b21f0abbb734e55c9cf63c17;p=satune.git

edit
---

diff --git a/src/Backend/nodeedge.c b/src/Backend/nodeedge.c
index 287601e..6349453 100644
--- 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);
 }