| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-26 15:02:48 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-26 15:02:48 +0200 |
| commit | 8a6e84b6f1ef95f1ef0a68e692c5d3c6f59fb645 (patch) | |
| tree | 5d6e6713b09d8d860f84fcfa766896052750ea7d | |
| parent | 150c8550a2f2b136179ad16275eb4eaff96c74f4 (diff) | |
More parenthesis, to avoid ambiguities.
| -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(); } |