From bfb9219fc5d6e6484f4bc1ff9068893cbcbddb9a Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 24 Jul 2017 11:35:24 +0100
Subject: Remove monomorphisation for old type checker

---
 src/process_file.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/process_file.ml')

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
-- 
cgit v1.2.3