[issue1134] Remove debug output.

aibasel · Feb 6, 2024 · 8cf7043 · 8cf7043
1 parent b5c457e
commit 8cf7043
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/search/operator_counting/operator_counting_heuristic.cc b/src/search/operator_counting/operator_counting_heuristic.cc
@@ -48,7 +48,6 @@ int OperatorCountingHeuristic::compute_heuristic(const State &ancestor_state) {
         }
     }
     int result;
-    lp_solver.write_lp("model.lp");
     lp_solver.solve();
     if (lp_solver.has_optimal_solution()) {
         double epsilon = 0.01;