From cccb665ebac6e916c4f961eacbe11a9af7d7ceb3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 29 Aug 2019 15:44:33 +1000
Subject: Change name from VeriFuzz to VeriSmith

---
 src/VeriFuzz/Report.hs | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs
index 56fd062..fe680c3 100644
--- a/src/VeriFuzz/Report.hs
+++ b/src/VeriFuzz/Report.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE RankNTypes      #-}
 {-|
-Module      : VeriFuzz.Report
+Module      : VeriSmith.Report
 Description : Generate a report from a fuzz run.
 Copyright   : (c) 2019, Yann Herklotz Grave
 License     : GPL-3
@@ -13,7 +13,7 @@ Generate a report from a fuzz run.
 
 {-# LANGUAGE TemplateHaskell #-}
 
-module VeriFuzz.Report
+module VeriSmith.Report
     ( SynthTool(..)
     , SynthStatus(..)
     , SynthResult(..)
@@ -60,11 +60,11 @@ import           Text.Blaze.Html               (Html, (!))
 import           Text.Blaze.Html.Renderer.Text (renderHtml)
 import qualified Text.Blaze.Html5              as H
 import qualified Text.Blaze.Html5.Attributes   as A
-import           VeriFuzz.Config
-import           VeriFuzz.Internal
-import           VeriFuzz.Result
-import           VeriFuzz.Sim
-import           VeriFuzz.Sim.Internal
+import           VeriSmith.Config
+import           VeriSmith.Internal
+import           VeriSmith.Result
+import           VeriSmith.Sim
+import           VeriSmith.Sim.Internal
 
 -- | Common type alias for synthesis results
 type UResult = Result Failed ()
-- 
cgit