From 606e9d6098c5a616b21f0abbb734e55c9cf63c17 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Mon, 10 Jul 2017 13:49:57 -0700
Subject: [PATCH 1/1] edit

---
 src/Backend/nodeedge.c | 1 +
 1 file changed, 1 insertion(+)

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);
 }
 
-- 
2.34.1