diff --git a/solver/solver_types.mli b/solver/solver_types.mli
index 920a283a..f4b0353a 100644
--- a/solver/solver_types.mli
+++ b/solver/solver_types.mli
@@ -13,15 +13,11 @@
 
 module type S = Solver_types_intf.S
 
-module McMake :
-  functor (E : Expr_intf.S) ->
-    functor (Dummy : sig end) ->
+module McMake (E : Expr_intf.S)(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) ->
-    functor (Dummy : sig end) ->
+module SatMake (E : Formula_intf.S)(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. *)