X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fdisambiguation%2FMakefile;h=d01dd73dfe5b03e758d82902bb3bd8acc40cb92d;hb=c8767b56c0a77fa52efb3815524620602709922b;hp=b961efbff28f52fa7349279ad2008ee0e9a04d06;hpb=f4d41a527321e5fbdc10054b46ad60fe9f7f54a1;p=helm.git

diff --git a/helm/software/components/disambiguation/Makefile b/helm/software/components/disambiguation/Makefile
index b961efbff..d01dd73df 100644
--- a/helm/software/components/disambiguation/Makefile
+++ b/helm/software/components/disambiguation/Makefile
@@ -1,10 +1,10 @@
 PACKAGE = disambiguation
 INTERFACE_FILES =		\
 	disambiguateTypes.mli	\
-	disambiguate.mli
+	disambiguate.mli \
+	multiPassDisambiguator.mli
 IMPLEMENTATION_FILES = \
-	$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
-	$(patsubst %,%_notation.ml,$(NOTATIONS))
+	$(patsubst %.mli, %.ml, $(INTERFACE_FILES))
 
 all: