| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-30 21:32:06 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-30 21:32:06 +0200 |
| commit | 5c7c23330c2884d1266c33d543f0e2e5fabf696a (patch) | |
| tree | 2c13e3cd4365c60560435428eb7b229b78163adf | |
| parent | 7e24107c80a570df3958fbce87b4ce1337bcb4ab (diff) | |
| parent | bba4a584979bbf128028a850dd11b3a25a98a967 (diff) | |
Merge branch 'master' of dreamhost:~/repositories/git/hastabel
| -rw-r--r-- | src/hastabel/PropertyParser.g4 | 2 |
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) |