From 481f628464e55cb4a69a6de3db496b38264a4949 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Sun, 14 Apr 2019 20:23:44 +0100
Subject: Remove blocking assignment from Generation

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

diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs
index 66c5aa2..ecda495 100644
--- a/src/VeriFuzz/Config.hs
+++ b/src/VeriFuzz/Config.hs
@@ -124,7 +124,7 @@ defaultConfig = Config (Probability defModItem defStmnt defExpr)
                        (Property 20 Nothing 3 2 5)
   where
     defModItem = ProbModItem 5 1 1
-    defStmnt   = ProbStatement 5 5 1 1
+    defStmnt   = ProbStatement 0 5 1 1
     defExpr    = ProbExpr 1 1 1 1 1 1 0 1 1
 
 twoKey :: Toml.Piece -> Toml.Piece -> Toml.Key
-- 
cgit