diff --git a/src/LogicIR/Backend/Z3.hs b/src/LogicIR/Backend/Z3.hs
index 339ae67b1cfd43a47e2e937a1a21d8d3be429f6a..06eb6d916f4728d485b0b121f4ad3309874c38b7 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