diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-17 11:01:59 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-17 11:01:59 +0100 |
| commit | 8109d52d387bd90052702a5a168ca9cf582766a0 (patch) | |
| tree | 22c7db30fcf75efb7308ce65eadce8be5a76c8d5 /src/VeriFuzz/Sim.hs | |
| parent | 1db2dbfd5ffa617e58e95d42fbc84c3cdae56b4a (diff) | |
| download | verismith-8109d52d387bd90052702a5a168ca9cf582766a0.tar.gz verismith-8109d52d387bd90052702a5a168ca9cf582766a0.zip | |
Fix other type errors and replace with Result type
Diffstat (limited to 'src/VeriFuzz/Sim.hs')
| -rw-r--r-- | src/VeriFuzz/Sim.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs index 9ccbbd8..b0905b7 100644 --- a/src/VeriFuzz/Sim.hs +++ b/src/VeriFuzz/Sim.hs @@ -25,8 +25,6 @@ module VeriFuzz.Sim -- ** XST , XST(..) , defaultXST - -- * Reducer - , reduce -- * Equivalence , runEquiv -- * Simulation @@ -39,7 +37,6 @@ where import VeriFuzz.Sim.Icarus import VeriFuzz.Sim.Internal -import VeriFuzz.Sim.Reduce import VeriFuzz.Sim.Vivado import VeriFuzz.Sim.XST import VeriFuzz.Sim.Yosys |