diff options
Diffstat (limited to 'src/VeriFuzz/Sim.hs')
| -rw-r--r-- | src/VeriFuzz/Sim.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs index f59271a..9ccbbd8 100644 --- a/src/VeriFuzz/Sim.hs +++ b/src/VeriFuzz/Sim.hs @@ -11,11 +11,10 @@ Simulator implementations. -} module VeriFuzz.Sim - ( -- * Environment - SourceInfo(..) + ( -- * Simulators -- ** Icarus - , Icarus(..) + Icarus(..) , defaultIcarus -- ** Yosys , Yosys(..) |