From b44c3c355955c6bcb45b1333f73b368595c9236a Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 12 Nov 2014 16:51:41 +0100
Subject: [PATCH] Fixed indentation

---
 sat/solver.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/sat/solver.mli b/sat/solver.mli
index e61b56ac..f1a8d78b 100644
--- a/sat/solver.mli
+++ b/sat/solver.mli
@@ -18,13 +18,13 @@ module Make (F : Formula_intf.S)
 
   exception Unsat
 
-  module St : Solver_types.S with
-    type formula = F.t
+  module St : Solver_types.S
+    with type formula = F.t
 
-  module Proof : Res.S with
-    type atom = St.atom and
-    type clause = St.clause and
-    type lemma = Th.proof
+  module Proof : Res.S
+    with type atom = St.atom
+     and type clause = St.clause
+     and type lemma = Th.proof
 
   val solve : unit -> unit
   (** Try and solves the current set of assumptions.