diff options
-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 15fa792..b37a5f5 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -190,8 +190,8 @@ instance QC.Arbitrary BinaryOperator where [ BinPlus , BinMinus , BinTimes - , BinDiv - , BinMod +-- , BinDiv +-- , BinMod , BinEq , BinNEq , BinCEq |