diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:28:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:28:21 +0100 |
| commit | 0e0dd6ee036c333cd3026917e696cf37996af341 (patch) | |
| tree | 3b6e3570f72a5c111db8f8f6ce3430a9cf4de1f3 /src/VeriFuzz/Sim | |
| parent | f984a79a85b4cc5a077fbf0f7ae6ac52a51822e8 (diff) | |
| download | verismith-0e0dd6ee036c333cd3026917e696cf37996af341.tar.gz verismith-0e0dd6ee036c333cd3026917e696cf37996af341.zip | |
Add NonEmpty to tests
Diffstat (limited to 'src/VeriFuzz/Sim')
| -rw-r--r-- | src/VeriFuzz/Sim/Identity.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/VeriFuzz/Sim/Identity.hs b/src/VeriFuzz/Sim/Identity.hs index 1b88032..bfded0b 100644 --- a/src/VeriFuzz/Sim/Identity.hs +++ b/src/VeriFuzz/Sim/Identity.hs @@ -45,8 +45,7 @@ instance NFData Identity where rnf = rwhnf runSynthIdentity :: Identity -> SourceInfo -> ResultSh () -runSynthIdentity (Identity _ out) src = - writefile out $ genSource src +runSynthIdentity (Identity _ out) = writefile out . genSource defaultIdentity :: Identity defaultIdentity = Identity "identity" "syn_identity.v" |