From 1a0fc9514796568e2763cfbda703c153beb27cef Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Sat, 23 Apr 2016 20:18:25 +0200 Subject: [PATCH] Fixed functor syntax for ocaml 4.00.1 in solver_types --- solver/solver_types.mli | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/solver/solver_types.mli b/solver/solver_types.mli index 550e0736..920a283a 100644 --- 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. *)