From 3e6b795d12bdcd851e55a8439a4a4ff037857c9c Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 3 Apr 2018 13:37:26 +0100
Subject: Tweak Type_check.solve for this branch

---
 src/type_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/type_check.ml b/src/type_check.ml
index 216e8752..9db1f417 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -1184,7 +1184,7 @@ let solve env nexp =
     try KBindings.find kid !bindings with
     | Not_found -> fresh_var kid
   in
-  let env = Env.add_typ_var Parse_ast.Unknown (mk_kid "solve#") BK_nat env in
+  let env = Env.add_typ_var (mk_kid "solve#") BK_nat env in
   let constr = Constraint.conj (nc_constraints env var_of (Env.get_constraints env))
                                (nc_constraint env var_of (nc_eq (nvar (mk_kid "solve#")) nexp))
   in
-- 
cgit v1.2.3