From bba4a584979bbf128028a850dd11b3a25a98a967 Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Wed, 30 May 2018 15:30:05 +0200
Subject: (forall ... (and ...)) -> (forall ... (implies ...))

---
 src/hastabel/PropertyParser.g4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit v1.2.3-70-g09d2