From 915d31f275304e1c6327f7062c7064fc0f328044 Mon Sep 17 00:00:00 2001
From: cyfraeviolae <cyfraeviolae>
Date: Sun, 16 May 2021 19:23:23 -0400
Subject: update a

---
 src/Parser.hs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/Parser.hs b/src/Parser.hs
index c61cd79..2d0798f 100644
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -163,8 +163,6 @@ split (Or x y) =
       MFormula [] y' = split y
    in MFormula [] (MOr x' y')
 
-(&) = And
-
 renameAddend :: (Symbol -> Symbol) -> Addend -> Addend
 renameAddend f (Var x) = Var (f x)
 renameAddend f x = x
-- 
cgit v1.2.3