diff --git a/sat/sat.ml b/sat/sat.ml
index 0f5fbc2a..9ebb5c17 100644
--- a/sat/sat.ml
+++ b/sat/sat.ml
@@ -85,7 +85,7 @@ module Tsat = struct
 
 end
 
-module Make(Dummy : sig end) = struct
+module Make(Log : Log_intf.S) = struct
   module SatSolver = Solver.Make(Log)(Fsat)(Tsat)
 
   exception Bad_atom
diff --git a/sat/sat.mli b/sat/sat.mli
index 0c082326..af84a079 100644
--- a/sat/sat.mli
+++ b/sat/sat.mli
@@ -8,7 +8,7 @@ module Fsat : Formula_intf.S with type t = int
 
 module Tseitin : Tseitin.S with type atom = Fsat.t
 
-module Make(Dummy: sig end) : sig
+module Make(Log: Log_intf.S) : sig
   (** Fonctor to make a pure SAT Solver module with built-in literals. *)
 
   exception Bad_atom