From df58c57622b2507b5c3a94b34790ba9066e8802a Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 3 Nov 2014 18:39:47 +0100
Subject: [PATCH] Removed some warnings

---
 sat/sat.ml    | 1 -
 sat/solver.ml | 2 --
 2 files changed, 3 deletions(-)

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)