1 files changed, 1 insertions, 1 deletions
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]