summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2018-05-30 15:30:05 +0200
committernsensfel <SpamShield0@noot-noot.org>2018-05-30 15:30:05 +0200
commitbba4a584979bbf128028a850dd11b3a25a98a967 (patch)
treedc66ca00d64bc0d75cb0e9fc71d9c26b68f9f5f2
parent7633ea659a37ee06c80076f32505b0b584a89c7e (diff)
downloadhastabel-bba4a584979bbf128028a850dd11b3a25a98a967.zip
hastabel-bba4a584979bbf128028a850dd11b3a25a98a967.tar.bz2
(forall ... (and ...)) -> (forall ... (implies ...))
-rw-r--r--src/hastabel/PropertyParser.g42
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hastabel/PropertyParser.g4 b/src/hastabel/PropertyParser.g4
index a495135..a6cefac 100644
--- a/src/hastabel/PropertyParser.g4
+++ b/src/hastabel/PropertyParser.g4
@@ -713,7 +713,7 @@ ax_operator [Variable current_node]
Formula.forall
(
next_node,
- Formula.and
+ Formula.implies
(
node_connect.as_formula_(current_node, next_node),
($formula.result)