Commit 808cb14a authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Using dump() instead of toString() to get the expected textual

representation.
parent 6f236c9b
......@@ -75,7 +75,7 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
}
conv += "x" + (lits[i] / 2) + " ";
}
return conv + ">=" + c.toString().split(">=")[1];
return conv + ">=" + c.dump().split(">=")[1];
}
@Override
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment