Fix apparent bug...

[satcheck.git] / model.cc

diff --git a/model.cc b/model.cc
index 7da359bbd2b9e144bf778afcd8ffcd28025f63a0..506d116bd562a7bdbe88ead004d2450f8e6e2527 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -30,7 +30,7 @@ void user_main_wrapper(void *) {
        user_main(model->params.argc, model->params.argv);
 }
 
-/** Implements the main loop for model checking test case 
+/** Implements the main loop for model checking test case
  */
 void MC::check() {
        snapshot_record(0);
@@ -44,7 +44,7 @@ void MC::check() {
                execution->reset();
                snapshot_backtrack_before(0);
        } while(!execution->get_planner()->is_finished());
-       dprintf(2, "Finished!\n");
+       model_print_err("Finished!\n");
 }