Merge
authorbdemsky <bdemsky@uci.edu>
Mon, 23 Oct 2017 22:12:22 +0000 (15:12 -0700)
committerbdemsky <bdemsky@uci.edu>
Mon, 23 Oct 2017 22:12:22 +0000 (15:12 -0700)
1  2 
src/csolver.cc

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