From 0d4b12cb4da3c32a24633dffa8eeb649d088a42e Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Fri, 15 Feb 2019 19:39:49 +0000
Subject: Take out non synthesisable comparison

---
 src/VeriFuzz/AST.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit