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