diff options
Diffstat (limited to 'src/Verismith/Fuzz.hs')
-rw-r--r-- | src/Verismith/Fuzz.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index d14e74b..b600d68 100644 --- a/src/Verismith/Fuzz.hs +++ b/src/Verismith/Fuzz.hs @@ -325,8 +325,8 @@ generateByteString n = do failEquivWithIdentity :: (MonadSh m) => Fuzz m [SynthResult] failEquivWithIdentity = filter withIdentity . _fuzzSynthResults <$> get where - withIdentity (SynthResult (IdentitySynth _) _ (Fail EquivFail) _) = True - withIdentity (SynthResult _ (IdentitySynth _) (Fail EquivFail) _) = True + withIdentity (SynthResult (IdentitySynth _) _ (Fail (EquivFail _)) _) = True + withIdentity (SynthResult _ (IdentitySynth _) (Fail (EquivFail _)) _) = True withIdentity _ = False passEquiv :: (MonadSh m) => Fuzz m [SynthResult] |