| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'src/hastabel/lang/Quantifier.java')
| -rw-r--r-- | src/hastabel/lang/Quantifier.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hastabel/lang/Quantifier.java b/src/hastabel/lang/Quantifier.java index 4734be5..aa05ebe 100644 --- a/src/hastabel/lang/Quantifier.java +++ b/src/hastabel/lang/Quantifier.java @@ -12,7 +12,7 @@ public class Quantifier extends Formula ( final Variable parent, final Formula formula, - final boolean is_forall; + final boolean is_forall ) { this.parent = parent; |