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 =