| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | src/hastabel2idp/idp/lang/Quantifier.java | 3 |
1 files changed, 2 insertions, 1 deletions
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(); } |