From 0e467e058cd68aabcdc5144665fee49dfe8e0da4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 18 Aug 2018 19:56:12 -0500
Subject: [PATCH] fix: disable checking of invariants

---
 src/util/Util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/Util.ml b/src/util/Util.ml
index c06b208a..f57baa67 100644
--- a/src/util/Util.ml
+++ b/src/util/Util.ml
@@ -39,4 +39,4 @@ module Int_map = CCMap.Make(CCInt)
 module Int_tbl = CCHashtbl.Make(CCInt)
 
 (* NOTE: if true, can have a big impact on performance *)
-let _CHECK_INVARIANTS = true
+let _CHECK_INVARIANTS = false