From 8d96fd2a541a2602544ced741552ebd17714c67d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 18 Sep 2019 19:06:32 +0200
Subject: Rename main modules

---
 test/Unit.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Unit.hs')

diff --git a/test/Unit.hs b/test/Unit.hs
index f9283be..f761c68 100644
--- a/test/Unit.hs
+++ b/test/Unit.hs
@@ -9,7 +9,7 @@ import           Parser             (parseUnitTests)
 import           Reduce             (reduceUnitTests)
 import           Test.Tasty
 import           Test.Tasty.HUnit
-import           VeriSmith
+import           Verismith
 
 unitTests :: TestTree
 unitTests = testGroup
-- 
cgit