From f5f2b13429bd81aa1e53431e950439c3542a9100 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sat, 16 Feb 2019 11:35:30 +0000 Subject: Add Parser to library --- src/VeriFuzz.hs | 2 ++ verifuzz.cabal | 1 + 2 files changed, 3 insertions(+) diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 16d96ce..21acf10 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -22,6 +22,7 @@ module VeriFuzz , module VeriFuzz.Icarus , module VeriFuzz.Internal , module VeriFuzz.Mutate + , module VeriFuzz.Parser , module VeriFuzz.Random , module VeriFuzz.XST , module VeriFuzz.Yosys @@ -51,6 +52,7 @@ import VeriFuzz.General import VeriFuzz.Icarus import VeriFuzz.Internal import VeriFuzz.Mutate +import VeriFuzz.Parser import VeriFuzz.Random import VeriFuzz.XST import VeriFuzz.Yosys diff --git a/verifuzz.cabal b/verifuzz.cabal index 24ac31e..7b9d151 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -35,6 +35,7 @@ library , VeriFuzz.Gen , VeriFuzz.Icarus , VeriFuzz.Mutate + , VeriFuzz.Parser , VeriFuzz.RandomAlt , VeriFuzz.Random , VeriFuzz.XST -- cgit