From 04eea28cfc1cc07ab3f26e4bea4ca9186db8f0d4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 18 Aug 2018 16:39:38 -0500
Subject: [PATCH] chore: disable some warning in Solver

---
 src/smt/Solver.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/Solver.ml b/src/smt/Solver.ml
index 3f8ab8ab..21b2f818 100644
--- a/src/smt/Solver.ml
+++ b/src/smt/Solver.ml
@@ -3,14 +3,14 @@
 
 (** {1 Main Solver} *)
 
+[@@@warning "-32"]
+
 open Solver_types
 
 let get_time : unit -> float = Sys.time
 
 (** {2 The Main Solver} *)
 
-type level = int
-
 module Sat_solver = Sidekick_sat.Make(Theory_combine)
 
 let[@inline] clause_of_mclause (c:Sat_solver.clause): Lit.t IArray.t =