From e7f57642f068650ea362201b239efad1c9a841d9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 18 Oct 2019 14:29:07 +0100
Subject: Rename Sim to Tool

---
 src/Verismith/Report.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Verismith/Report.hs')

diff --git a/src/Verismith/Report.hs b/src/Verismith/Report.hs
index b074be4..6c25f5c 100644
--- a/src/Verismith/Report.hs
+++ b/src/Verismith/Report.hs
@@ -63,8 +63,8 @@ import qualified Text.Blaze.Html5.Attributes   as A
 import           Verismith.Config
 import           Verismith.Internal
 import           Verismith.Result
-import           Verismith.Sim
-import           Verismith.Sim.Internal
+import           Verismith.Tool
+import           Verismith.Tool.Internal
 
 -- | Common type alias for synthesis results
 type UResult = Result Failed ()
-- 
cgit