Merge

diff --cc src/csolver.cc
index a2163a0c839103179fc6a31df3608ea71651d8a9,d316724791f2648aa332e989d6a3507d99b8c0aa..71205f68aab557baf933689510435ee4f312d328
--- 1/src/csolver.cc
--- 2/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) {