diff options
Diffstat (limited to 'src/VeriFuzz/Sim.hs')
-rw-r--r-- | src/VeriFuzz/Sim.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs index 0736856..9b96894 100644 --- a/src/VeriFuzz/Sim.hs +++ b/src/VeriFuzz/Sim.hs @@ -34,7 +34,7 @@ module VeriFuzz.Sim , runSim -- * Synthesis , runSynth - , echoP + , logger ) where |