diff options
Diffstat (limited to 'src/Verismith/Tool/Internal.hs')
-rw-r--r-- | src/Verismith/Tool/Internal.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Verismith/Tool/Internal.hs b/src/Verismith/Tool/Internal.hs index b97c2f1..dfa3f46 100644 --- a/src/Verismith/Tool/Internal.hs +++ b/src/Verismith/Tool/Internal.hs @@ -75,7 +75,7 @@ class Tool a => Simulator a where -> ResultSh ByteString data Failed = EmptyFail - | EquivFail CounterEg + | EquivFail (Maybe CounterEg) | EquivError | SimFail ByteString | SynthFail |