diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index d3b5604b..e642baf5 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -70,7 +70,7 @@ let parse_file (f : string) : Parse_ast.defs = raise (Reporting_basic.Fatal_error (Reporting_basic.Err_lex (p, s))) let convert_ast (defs : Parse_ast.defs) : Type_internal.tannot Ast.defs = - Initial_check.to_ast Nameset.empty Envmap.empty Envmap.empty defs + Initial_check.to_ast Nameset.empty Type_internal.initial_kind_env Envmap.empty defs (* type instances = Types.instance list Types.Pfmap.t |