X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FMakefile;h=3a0ae7b80f03097ba9df33d8830c8f2c5d1cc0f1;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=11da724694d4c626a927c63a14fd930108aacb1b;hpb=aba014724c9ad08f80944ec3021c9fa3826dca4a;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index 11da72469..3a0ae7b80 100644
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -8,7 +8,8 @@ INTERFACE_FILES = \
 	ast.mli pp.mli macro.mli lexer.mli disambiguate.mli parser.mli \
 	disambiguate_types.mli
 IMPLEMENTATION_FILES = \
-	pp.ml macro.ml lexer.ml disambiguate_struct.ml parser.ml \
+	disambiguate_types.ml \
+	pp.ml macro.ml lexer.ml parser.ml \
 	disambiguate.ml \
 	$(patsubst %,%_notation.ml,$(NOTATIONS)) \
 
@@ -58,4 +59,6 @@ depend: macro.cmi macro.cmo pa_unicode_macro.cmi pa_unicode_macro.cmo
 
 disambiguate_types.cmi: disambiguate_types.mli
 	$(OCAMLC) -c -rectypes $<
+disambiguate_types.cmo: disambiguate_types.ml disambiguate_types.cmi
+	$(OCAMLC) -c -rectypes $<