projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Halt execution at yield with -Y to simplify SAT formula
[satcheck.git]
/
cgoal.cc
diff --git
a/cgoal.cc
b/cgoal.cc
index 95c26ab3b1d56e5f1e2d219f246c324ad70d8859..6bd216fd62eb3f50bea472e52aae2165ed4432db 100644
(file)
--- a/
cgoal.cc
+++ b/
cgoal.cc
@@
-31,7
+31,7
@@
void CGoal::print() {
model_print("goal: ");
model_print("(");
for(uint i=0;i<num;i++) {
- model_print("%lu",valarray[i]);
+ model_print("%l
l
u",valarray[i]);
if ((i+1)!=num)
model_print(", ");
}