From b073c6214dd62c9b8d30c5ec187375828c753d0e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 7 May 2019 19:20:21 +0100
Subject: Create better command line output

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

(limited to 'src/VeriFuzz.hs')

diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs
index cbbfb9a..cd6596c 100644
--- a/src/VeriFuzz.hs
+++ b/src/VeriFuzz.hs
@@ -154,7 +154,7 @@ runEquivalence
     -> Int         -- ^ Used to track the recursion.
     -> IO ()
 runEquivalence seed gm t d k i = do
-    (_, m) <- sampleSeed seed gm
+    (_, m) <- shelly $ sampleSeed seed gm
     let srcInfo = SourceInfo "top" m
     rand <- generateByteString 20
     shellyFailDir $ do
-- 
cgit