aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/AST.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/AST.hs')
-rw-r--r--src/VeriFuzz/AST.hs4
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