From ad199f8087642573f4f7daeeb588a43faaa3eab3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Fri, 1 Mar 2019 19:18:05 +0000
Subject: Add lens to access main module in SourceInfo

---
 src/VeriFuzz/Icarus.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs
index 0a807dc..b709967 100644
--- a/src/VeriFuzz/Icarus.hs
+++ b/src/VeriFuzz/Icarus.hs
@@ -12,6 +12,7 @@ Icarus verilog module.
 
 module VeriFuzz.Icarus where
 
+import           Control.Lens
 import           Crypto.Hash            (Digest, hash)
 import           Crypto.Hash.Algorithms (SHA256)
 import           Data.Binary            (encode)
@@ -91,7 +92,7 @@ runSimIcarus sim rinfo bss = do
     let modWithTb = VerilogSrc $ Description <$> [newtb, m]
     writefile "main.v" $ genSource modWithTb
     runSimWithFile sim "main.v" bss
-    where m = mainModule rinfo
+    where m = rinfo ^. mainModule
 
 runSimIcarusWithFile :: Icarus -> FilePath -> [ByteString] -> Sh ByteString
 runSimIcarusWithFile sim f _ = do
-- 
cgit