diff options
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |