From ff25fae1921f4b26b0dcdadfbf2ddda2315bffcb Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 9 Jan 2015 15:04:06 +0100
Subject: [PATCH] Fixed an interface omission

---
 solver/mcsolver.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/solver/mcsolver.mli b/solver/mcsolver.mli
index 83a9e6b9..261fe622 100644
--- a/solver/mcsolver.mli
+++ b/solver/mcsolver.mli
@@ -11,7 +11,8 @@ module Make (E : Expr_intf.S)
   exception Unsat
 
   module St : Mcsolver_types.S
-    with type formula = E.Formula.t
+    with type term = E.Term.t
+     and type formula = E.Formula.t
 
   module Proof : Res.S
     with type atom = St.atom