From 966dfa17249c56f4a669b2a54925a2bbe423c951 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 7 Jun 2019 16:18:28 -0500
Subject: [PATCH] feat(main): disable check by default

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

diff --git a/src/main/main.ml b/src/main/main.ml
index 5450b70a..361bece7 100644
--- a/src/main/main.ml
+++ b/src/main/main.ml
@@ -24,7 +24,7 @@ let p_cnf = ref false
 let p_dot_proof = ref ""
 let p_proof_print = ref false
 let p_model = ref false
-let check = ref true
+let check = ref false
 let time_limit = ref 300.
 let size_limit = ref 1000_000_000.
 let restarts = ref true