diff options
| author | Brian Campbell | 2018-04-03 13:37:26 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-04 14:45:00 +0100 |
| commit | 3e6b795d12bdcd851e55a8439a4a4ff037857c9c (patch) | |
| tree | 2085fb8c8636de39b90462957e8fe00fc7497ef6 | |
| parent | 93642321c4ecfd7bf4046ffd0c95b57220fa573e (diff) | |
Tweak Type_check.solve for this branch
| -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 |