From fe9084c9fe731ff8f7d94729a3280357cda6f259 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 May 2019 17:37:02 +0100
Subject: No expression reduction

---
 src/VeriFuzz/Reduce.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs
index fcc8e51..bfc9a6e 100644
--- a/src/VeriFuzz/Reduce.hs
+++ b/src/VeriFuzz/Reduce.hs
@@ -543,7 +543,7 @@ reduce eval src =
         $   red "Modules" moduleBot halveModules src
         >>= redAll "Module Items" modItemBot         halveModItems
         >>= redAll "Statements"   (const defaultBot) halveStatements
-        >>= redAll "Expressions"  (const defaultBot) halveExpr
+        -- >>= redAll "Expressions"  (const defaultBot) halveExpr
   where
     red s bot a = reduce_ s a bot eval
     red' s bot a t = reduce_ s (a t) (bot t) eval
-- 
cgit