Fixed functor syntax for ocaml 4.00.1 in solver_types

Gbury · Apr 23, 2016 · 1a0fc95 · 1a0fc95
1 parent 22ebead
commit 1a0fc95
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/solver/solver_types.mli b/solver/solver_types.mli
@@ -14,12 +14,14 @@
 module type S = Solver_types_intf.S
 
 module McMake :
-  functor (E : Expr_intf.S)(Dummy : sig end) ->
+  functor (E : Expr_intf.S) ->
+    functor (Dummy : sig end) ->
     S with type term = E.Term.t and type formula = E.Formula.t and type proof = E.proof
 (** Functor to instantiate the types of clauses for a solver. *)
 
 module SatMake :
-  functor (E : Formula_intf.S)(Dummy : sig end) ->
+  functor (E : Formula_intf.S) ->
+    functor (Dummy : sig end) ->
     S with type term = E.t and type formula = E.t and type proof = E.proof
 (** Functor to instantiate the types of clauses for a solver. *)