diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 2a80ff37..78e44bf0 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -482,7 +482,7 @@ let to_ast_typedef (names,k_env,t_env) (td:Parse_ast.type_def) : (tannot type_de | Parse_ast.TD_abbrev(id,name_scm_opt,typschm) -> let id = to_ast_id id in let key = id_to_string id in - let typschm,_,_ = to_ast_typschm k_env typschm in + let typschm,k_env,_ = to_ast_typschm k_env typschm in let td_abrv = TD_aux(TD_abbrev(id,to_ast_namescm name_scm_opt,typschm),(l,None)) in let typ = (match typschm with | TypSchm_aux(TypSchm_ts(tq,typ), _) -> |