diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-15 20:37:15 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 20:37:15 +0100 |
commit | 053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3 (patch) | |
tree | 682785734f9c8447265ae9b2192d54d7860c5619 /src/VeriFuzz/Verilog.hs | |
parent | 705bdb142b1088676ddc3178d8677bd40ab2b1d6 (diff) | |
download | verismith-053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3.tar.gz verismith-053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3.zip |
Move declaration of SourceInfo
Diffstat (limited to 'src/VeriFuzz/Verilog.hs')
-rw-r--r-- | src/VeriFuzz/Verilog.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs index dda3da1..ae4f82b 100644 --- a/src/VeriFuzz/Verilog.hs +++ b/src/VeriFuzz/Verilog.hs @@ -11,7 +11,8 @@ Verilog implementation with random generation and mutations. -} module VeriFuzz.Verilog - ( Verilog(..) + ( SourceInfo(..) + , Verilog(..) , parseVerilog , procedural , proceduralIO |