diff --git a/src/passes/09-typing/08-typer-new/compare.ml b/src/passes/09-typing/08-typer-new/compare_types.ml
similarity index 100%
rename from src/passes/09-typing/08-typer-new/compare.ml
rename to src/passes/09-typing/08-typer-new/compare_types.ml
diff --git a/src/passes/09-typing/08-typer-new/typer.ml b/src/passes/09-typing/08-typer-new/typer.ml
index 72d986205..2406858a8 100644
--- a/src/passes/09-typing/08-typer-new/typer.ml
+++ b/src/passes/09-typing/08-typer-new/typer.ml
@@ -14,7 +14,7 @@ module Map = RedBlackTrees.PolyMap
 open Todo_use_fold_generator
 
 let assert_type_expression_eq ((tv',tv):O.type_expression * O.type_expression) : (unit,typer_error) result = 
-  Compare.assert_type_expression_eq (tv' , tv)
+  Compare_types.assert_type_expression_eq (tv' , tv)
 
 (*
   Extract pairs of (name,type) in the declaration and add it to the environment