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/BitVec.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/VeriFuzz/Verilog/BitVec.hs b/src/VeriFuzz/Verilog/BitVec.hs
index 0cc9eb3..dab9e2c 100644
--- a/src/VeriFuzz/Verilog/BitVec.hs
+++ b/src/VeriFuzz/Verilog/BitVec.hs
@@ -1,5 +1,5 @@
 {-|
-Module      : VeriFuzz.Verilog.BitVec
+Module      : VeriSmith.Verilog.BitVec
 Description : Unsigned BitVec implementation.
 Copyright   : (c) 2019, Yann Herklotz Grave
 License     : GPL-3
@@ -17,7 +17,7 @@ Unsigned BitVec implementation.
 {-# LANGUAGE DeriveGeneric      #-}
 {-# LANGUAGE DeriveTraversable  #-}
 
-module VeriFuzz.Verilog.BitVec
+module VeriSmith.Verilog.BitVec
     ( BitVecF(..)
     , BitVec
     , bitVec
-- 
cgit