diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 19:39:49 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 19:39:49 +0000 |
| commit | 0d4b12cb4da3c32a24633dffa8eeb649d088a42e (patch) | |
| tree | e384b7c6a50d75f548a960acc6d9e027299863f1 /src | |
| parent | b542482726ba950a7286bd33d146c3e2c11d93bf (diff) | |
| download | verismith-0d4b12cb4da3c32a24633dffa8eeb649d088a42e.tar.gz verismith-0d4b12cb4da3c32a24633dffa8eeb649d088a42e.zip | |
Take out non synthesisable comparison
Diffstat (limited to 'src')
| -rw-r--r-- | src/VeriFuzz/AST.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index fe76042..f5d1824 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -198,8 +198,8 @@ instance QC.Arbitrary BinaryOperator where -- , BinMod , BinEq , BinNEq - , BinCEq - , BinCNEq +-- , BinCEq +-- , BinCNEq , BinLAnd , BinLOr , BinLT |