diff --git a/sat/sat.ml b/sat/sat.ml
index d39205de..869befec 100644
--- a/sat/sat.ml
+++ b/sat/sat.ml
@@ -82,7 +82,6 @@ module Make(Dummy : sig end) = struct
   let _i = ref 0
 
   type atom = Fsat.t
-  type state = SatSolver.t
 
   let new_atom () =
     try
diff --git a/sat/solver.ml b/sat/solver.ml
index a90a5f87..fed0dbed 100644
--- a/sat/solver.ml
+++ b/sat/solver.ml
@@ -10,8 +10,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-open Format
-
 module Make (F : Formula_intf.S)
     (St : Solver_types.S with type formula = F.t)
     (Ex : Explanation.S with type atom = St.atom)