summaryrefslogtreecommitdiff
path: root/src/process_file.ml
diff options
context:
space:
mode:
authorBrian Campbell2017-07-24 11:35:24 +0100
committerBrian Campbell2017-07-24 11:35:24 +0100
commitbfb9219fc5d6e6484f4bc1ff9068893cbcbddb9a (patch)
tree2883cc6b3d7a10a542b27a8fc749ce57cac38bba /src/process_file.ml
parent5ffbb59e60078a7a359d78f78208f30cbdc47f4a (diff)
Remove monomorphisation for old type checker
Diffstat (limited to 'src/process_file.ml')
-rw-r--r--src/process_file.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml
index c26632d1..5eb9f1ee 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -100,7 +100,7 @@ let check_ast (defs : unit Ast.defs) : Type_check.tannot Ast.defs * Type_check.E
let ast = match !opt_mono_split with
| [] -> ast
| l ->
- let ast = Monomorphise_new.split_defs l ast in
+ let ast = Monomorphise.split_defs l ast in
let ienv = Type_check.Env.no_casts Type_check.initial_env in
let ast, _ = Type_check.check ienv ast in
ast