From 23d18fe609cafaf31b2f0fec7c016ed09f7bf328 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 9 Feb 2015 15:42:28 +0100
Subject: [PATCH] Added log functor to Sat.Make

---
 sat/sat.ml  | 2 +-
 sat/sat.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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