From 38a6d8c481d155062c0eeaa80f849a6051e720e0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 29 Jul 2016 15:11:53 +0200
Subject: [PATCH] small fix

---
 src/core/external.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/external.ml b/src/core/external.ml
index bf9d8c94..3d2b8824 100644
--- a/src/core/external.ml
+++ b/src/core/external.ml
@@ -54,10 +54,10 @@ module Make
 
   let assume ?tag l = S.assume ?tag l
 
-  let mk_sat () : _ sat_state =
+  let mk_sat () : (_,_) sat_state =
     { model=S.model; eval=S.eval; eval_level=S.eval_level }
 
-  let mk_unsat () : _ unsat_state =
+  let mk_unsat () : (_,_) unsat_state =
     let unsat_conflict () = match S.unsat_conflict () with
       | None -> assert false
       | Some c -> c