Commit 9c04ce7c authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Better message (0 >= 1 instead of null).

parent 09815de6
......@@ -193,7 +193,7 @@ public class DotSearchTracing<T> extends SearchListenerAdapter<ISolverService>
String learned = this.currentNodeName + "_learned";
String text;
if (constr == null) {
text = "null";
text = "0 >= 1";
} else {
text = constr.toString(this);
}
......
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