Fixing

Author: msoos

src/manthan.cpp

@@ -1858,13 +1858,6 @@ bool Manthan::get_counterexample(sample& ctx) {
     if (ret == l_True) {
         verb_print(2, COLYEL "[manthan] *** Counterexample found ***");
         ctx = cex_solver.get_model();
-        cout << "ctx: ";
-        for(auto v : ctx) {
-            if (v == l_Undef) cout << "U ";
-            else if (v == l_True) cout << "T ";
-            else cout << "F ";
-        }
-        cout << endl;
         compute_needs_repair(ctx);
         assert(!needs_repair.empty() && "If we found a counterexample, there must be something to repair!");
         return false;