summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-30 21:32:06 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-30 21:32:06 +0200
commit5c7c23330c2884d1266c33d543f0e2e5fabf696a (patch)
tree2c13e3cd4365c60560435428eb7b229b78163adf
parent7e24107c80a570df3958fbce87b4ce1337bcb4ab (diff)
parentbba4a584979bbf128028a850dd11b3a25a98a967 (diff)
downloadhastabel-5c7c23330c2884d1266c33d543f0e2e5fabf696a.zip
hastabel-5c7c23330c2884d1266c33d543f0e2e5fabf696a.tar.bz2
Merge branch 'master' of dreamhost:~/repositories/git/hastabel
-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)