From f405d3c82e585bdf29195b76fd1c55b1a879418a Mon Sep 17 00:00:00 2001
From: koen <koenwermer@gmail.com>
Date: Wed, 4 Jan 2017 16:19:01 +0100
Subject: [PATCH] simplified imp

---
 HelperFunctions.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HelperFunctions.hs b/HelperFunctions.hs
index 32205bc..fea1187 100644
--- a/HelperFunctions.hs
+++ b/HelperFunctions.hs
@@ -175,7 +175,7 @@ neg :: Exp -> Exp
 neg = PreNot
 
 imp :: Exp -> Exp -> Exp
-e1 `imp` e2 =  (e1 &* e2) |* neg e1
+e1 `imp` e2 =  neg e1 |* e2
 
 (==*) :: Exp -> Exp -> Exp
 e1 ==* e2 = BinOp e1 Equal e2
-- 
GitLab