From: bdemsky <bdemsky@uci.edu>
Date: Mon, 23 Oct 2017 22:12:22 +0000 (-0700)
Subject: Merge
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=44ac39afe074506f18b8d2c29430cc7d88ace944;p=satune.git

Merge
---

44ac39afe074506f18b8d2c29430cc7d88ace944
diff --cc src/csolver.cc
index a2163a0,d316724..71205f6
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@@ -499,7 -510,7 +506,6 @@@ void CSolver::printConstraints() 
  		model_print("\n");
  	}
  	delete it;
--
  }
  
  void CSolver::printConstraint(BooleanEdge b) {