From 72aaba5143cadbd64883ec7990a61e2b9e1908ee Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 6 Jun 2013 14:34:17 +0200
Subject: [PATCH] use toStringFullyParenthesized in disprover output of
 hypotheses and goal

---
 .../eventb/disprover/core/internal/DisproverReasoner.java     | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 f35c24d9..6d69da66 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);
 
-- 
GitLab