diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-15 20:37:15 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 20:37:15 +0100 |
commit | 053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3 (patch) | |
tree | 682785734f9c8447265ae9b2192d54d7860c5619 /src/VeriFuzz/Sim.hs | |
parent | 705bdb142b1088676ddc3178d8677bd40ab2b1d6 (diff) | |
download | verismith-053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3.tar.gz verismith-053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3.zip |
Move declaration of SourceInfo
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(..) |