diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java index f35c24d94b78a85be12fc6e31cc65559373c1345..6d69da66f19355ecb5b4ded4dd9532b5556ca8e4 100644 --- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java +++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java @@ -74,7 +74,7 @@ public class DisproverReasoner implements IReasoner { StringBuilder hypothesesString = new StringBuilder(); for (Predicate predicate : sequent.hypIterable()) { hypotheses.add(predicate); - hypothesesString.append(predicate.toString()); + hypothesesString.append(predicate.toStringFullyParenthesized()); hypothesesString.append(" & "); } hypothesesString.delete(hypothesesString.length() - 2, @@ -84,7 +84,7 @@ public class DisproverReasoner implements IReasoner { Predicate goal = sequent.goal(); Logger.info("Disprover: Sending Goal: " - + UnicodeTranslator.toAscii(goal.toString())); + + UnicodeTranslator.toAscii(goal.toStringFullyParenthesized())); IEventBRoot root = getRoot(sequent);