Work around changes in newer versions of glibc

[satcheck.git] / model.cc

diff --git a/model.cc b/model.cc
index 7da359bbd2b9e144bf778afcd8ffcd28025f63a0..2ac46b8313fba22a175dd27ac5d1664e36ad4288 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -44,7 +44,7 @@ void MC::check() {
                execution->reset();
                snapshot_backtrack_before(0);
        } while(!execution->get_planner()->is_finished());
                execution->reset();
                snapshot_backtrack_before(0);
        } while(!execution->get_planner()->is_finished());

-       dprintf(2, "Finished!\n");
+       model_print_err("Finished!\n");

 }
 
 
 }