diff options
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 9bf3602..7e6a25e 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -15,6 +15,7 @@ module VeriFuzz , draw , SourceInfo(..) , module VeriFuzz.AST + , module VeriFuzz.Config , module VeriFuzz.ASTGen , module VeriFuzz.Circuit , module VeriFuzz.CodeGen @@ -49,6 +50,7 @@ import VeriFuzz.AST import VeriFuzz.ASTGen import VeriFuzz.Circuit import VeriFuzz.CodeGen +import VeriFuzz.Config import VeriFuzz.Env import VeriFuzz.Gen import VeriFuzz.Icarus |