Remove foralls with empty variable list

diff --git a/Expr.hs b/Expr.hs
index 5ecfa48..802831b 100644 (file)
--- a/Expr.hs
+++ b/Expr.hs
@@ -178,9 +178,8 @@ beTrue = And []
 
 -- | Optimize a forall condition
 condition :: [TypedExpr] -> BoolExpr -> BoolExpr -> BoolExpr
--- empty condition
-condition [] cond concl   | cond == beTrue
-                          = concl
+-- empty variable list
+condition [] cond concl   = concl
 -- float out conditions on the right
 condition vars cond (Condition vars' cond' concl')
                          = condition (vars ++ vars') (cond `aand` cond') concl'