diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
commit | 1e4798b9bfe090ac68c2edd036637b6bfac5c06b (patch) | |
tree | 680f75c00e9e6ee7f49560a8f4509b74b08730ed /test/Property.hs | |
parent | 4cdbcd7570009187954afe0c0308fa1eb4460c55 (diff) | |
download | verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.tar.gz verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.zip |
Support multiple reg assigns in if statements
Diffstat (limited to 'test/Property.hs')
-rw-r--r-- | test/Property.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Property.hs b/test/Property.hs index f7c6865..fe802c9 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -23,7 +23,7 @@ import qualified Hedgehog.Range as Hog import Test.Tasty import Test.Tasty.Hedgehog import Text.Parsec -import VeriFuzz +import VeriFuzz hiding (Property) import VeriFuzz.Result import VeriFuzz.Verilog.Lex import VeriFuzz.Verilog.Parser |