From 846846435412841a9ff19a08afc22457ce6daca4 Mon Sep 17 00:00:00 2001 From: Isaac Avram Date: Sat, 23 Mar 2019 18:26:37 -0700 Subject: [PATCH] Updated Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4d975cbdf..b803c4f12 100644 --- a/Makefile +++ b/Makefile @@ -98,7 +98,7 @@ TYPING=typing/ident.cmo typing/path.cmo \ typing/typedtree.cmo typing/printtyped.cmo typing/ctype.cmo \ typing/printtyp.cmo typing/includeclass.cmo \ typing/mtype.cmo typing/envaux.cmo typing/includecore.cmo \ - typing/typedtreeIter.cmo typing/tast_mapper.cmo \ + typing/tast_iterator.cmo typing/tast_mapper.cmo \ typing/cmt_format.cmo typing/untypeast.cmo \ typing/includemod.cmo typing/typetexp.cmo typing/printpat.cmo \ typing/parmatch.cmo typing/stypes.cmo \