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

(limited to 'src/VeriFuzz/Circuit/Base.hs')

diff --git a/src/VeriFuzz/Circuit/Base.hs b/src/VeriFuzz/Circuit/Base.hs
index 0bcdf39..ddcaf65 100644
--- a/src/VeriFuzz/Circuit/Base.hs
+++ b/src/VeriFuzz/Circuit/Base.hs
@@ -1,5 +1,5 @@
 {-|
-Module      : VeriFuzz.Circuit.Base
+Module      : VeriSmith.Circuit.Base
 Description : Base types for the circuit module.
 Copyright   : (c) 2019, Yann Herklotz Grave
 License     : GPL-3
@@ -10,7 +10,7 @@ Portability : POSIX
 Base types for the circuit module.
 -}
 
-module VeriFuzz.Circuit.Base
+module VeriSmith.Circuit.Base
     ( Gate(..)
     , Circuit(..)
     , CNode(..)
-- 
cgit