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/Verilog.hs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs
index 4b5029c..6e7851c 100644
--- a/src/VeriFuzz/Verilog.hs
+++ b/src/VeriFuzz/Verilog.hs
@@ -1,5 +1,5 @@
 {-|
-Module      : VeriFuzz.Verilog
+Module      : VeriSmith.Verilog
 Description : Verilog implementation with random generation and mutations.
 Copyright   : (c) 2019, Yann Herklotz Grave
 License     : GPL-3
@@ -12,7 +12,7 @@ Verilog implementation with random generation and mutations.
 
 {-# LANGUAGE QuasiQuotes #-}
 
-module VeriFuzz.Verilog
+module VeriSmith.Verilog
     ( SourceInfo(..)
     , Verilog(..)
     , parseVerilog
@@ -100,7 +100,7 @@ module VeriFuzz.Verilog
     )
 where
 
-import           VeriFuzz.Verilog.AST
-import           VeriFuzz.Verilog.CodeGen
-import           VeriFuzz.Verilog.Parser
-import           VeriFuzz.Verilog.Quote
+import           VeriSmith.Verilog.AST
+import           VeriSmith.Verilog.CodeGen
+import           VeriSmith.Verilog.Parser
+import           VeriSmith.Verilog.Quote
-- 
cgit