From 8a6e84b6f1ef95f1ef0a68e692c5d3c6f59fb645 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Sat, 26 May 2018 15:02:48 +0200
Subject: More parenthesis, to avoid ambiguities.

---
 src/hastabel2idp/idp/lang/Quantifier.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/hastabel2idp/idp/lang/Quantifier.java b/src/hastabel2idp/idp/lang/Quantifier.java
index 66c030f..040ff21 100644
--- a/src/hastabel2idp/idp/lang/Quantifier.java
+++ b/src/hastabel2idp/idp/lang/Quantifier.java
@@ -68,8 +68,9 @@ public class Quantifier extends Formula
       sb.append(parent.get_name());
       sb.append(" [");
       sb.append(parent.get_type().get_name());
-      sb.append("]: ");
+      sb.append("]: (");
       sb.append(formula.toString());
+      sb.append(")");
 
       return sb.toString();
    }
-- 
cgit v1.2.3-70-g09d2