projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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());
-
dprintf(2,
"Finished!\n");
+
model_print_err(
"Finished!\n");
}