diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-06 00:29:20 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-06 00:29:20 +0000 |
commit | 2509dd246a8c90687d9d13b0161c0284eb0647b4 (patch) | |
tree | fbb594f866e1c5ffc936373585e2adc607a0c865 /examples/simple.v | |
parent | 8e749e9548209d131bd91b32d31dfff56d997a37 (diff) | |
download | verismith-2509dd246a8c90687d9d13b0161c0284eb0647b4.tar.gz verismith-2509dd246a8c90687d9d13b0161c0284eb0647b4.zip |
remove Test.hs, will all be in Main.hs
Diffstat (limited to 'examples/simple.v')
0 files changed, 0 insertions, 0 deletions