aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r--src/VeriFuzz.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs
index 489ac01..e844f57 100644
--- a/src/VeriFuzz.hs
+++ b/src/VeriFuzz.hs
@@ -143,7 +143,7 @@ runEquivalence
-> Int -- ^ Used to track the recursion.
-> IO ()
runEquivalence seed gm t d k i = do
- m <- sampleSeed seed gm
+ (_, m) <- sampleSeed seed gm
let srcInfo = SourceInfo "top" m
rand <- generateByteString 20
shellyFailDir $ do