From 671a9a060e3f04fa7e1e53197cd77691c139d4e7 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 7 May 2019 21:31:50 +0100
Subject: Only show the seed

---
 src/VeriFuzz/Fuzz.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs
index 7390aee..6a0e0ad 100644
--- a/src/VeriFuzz/Fuzz.hs
+++ b/src/VeriFuzz/Fuzz.hs
@@ -223,8 +223,6 @@ sampleSeed s gen =
                               Just x  -> do
                                   liftSh
                                       .  logT
-                                      $  "Chosen seed was '"
-                                      <> showT seed
-                                      <> "'"
+                                      $ showT seed
                                   return (seed, Hog.nodeValue x)
           in  loop (100 :: Int)
-- 
cgit