From 6530eaf3b0311d83845c7aceac3514a60436235b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 24 Oct 2015 12:07:39 +0200
Subject: Fixing last commit; parentheses chained implications

---
 Logic.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Logic.icl b/Logic.icl
index 03cbf1a..676744e 100644
--- a/Logic.icl
+++ b/Logic.icl
@@ -215,8 +215,8 @@ binds_stronger _ And = False        // And is left-associative
 binds_stronger And _ = True
 binds_stronger Or _ = True          // The rest is right-associative
 binds_stronger _ Or = False
-binds_stronger _ Impl = False
 binds_stronger Impl _ = True
+binds_stronger _ Impl = False
 binds_stronger Equiv Equiv = True
 
 all_atoms :: Expr -> [AtomName]
-- 
cgit v1.2.3