From 2617eef27d492c147b6eb37355696b43a9e64a64 Mon Sep 17 00:00:00 2001
From: Duncan Ogilvie <mr.exodia.tpodt@gmail.com>
Date: Tue, 7 Nov 2017 22:17:38 +0100
Subject: [PATCH] remove some whitspace
---
src/LogicIR/Backend/Z3.hs | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/LogicIR/Backend/Z3.hs b/src/LogicIR/Backend/Z3.hs
index 339ae67..06eb6d9 100644
--- a/src/LogicIR/Backend/Z3.hs
+++ b/src/LogicIR/Backend/Z3.hs
@@ -59,7 +59,6 @@ lExprToZ3AstAlgebra = (fConst, fVar, fUnop, fBinop, fIf, fQuant, fArray, fIsnull
a <- a'
b <- b'
mkIte c a b
-
fQuant o v@(Var t n) d' a' = do a <- a'
d <- d'
case t of
--
GitLab