aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Reduce.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-10-18 14:29:07 +0100
committerYann Herklotz <git@yannherklotz.com>2019-10-18 14:29:07 +0100
commite7f57642f068650ea362201b239efad1c9a841d9 (patch)
tree2d68c28c0644089b9afcfc21fc05f88d50ef6703 /src/Verismith/Reduce.hs
parent349c1fa290c068a0f4100469e7485d062dd995ce (diff)
downloadverismith-e7f57642f068650ea362201b239efad1c9a841d9.tar.gz
verismith-e7f57642f068650ea362201b239efad1c9a841d9.zip
Rename Sim to Tool
Diffstat (limited to 'src/Verismith/Reduce.hs')
-rw-r--r--src/Verismith/Reduce.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs
index 69674cc..88f0b42 100644
--- a/src/Verismith/Reduce.hs
+++ b/src/Verismith/Reduce.hs
@@ -49,8 +49,8 @@ import qualified Shelly
import Shelly.Lifted (MonadSh, liftSh)
import Verismith.Internal
import Verismith.Result
-import Verismith.Sim
-import Verismith.Sim.Internal
+import Verismith.Tool
+import Verismith.Tool.Internal
import Verismith.Verilog
import Verismith.Verilog.AST
import Verismith.Verilog.Mutate