X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fdisambiguation%2FMakefile;h=5f632d949dfff888c40ede2e93d4e965f4d0f57d;hb=04168c737e0916ebdbcdb1457f228bef670c657b;hp=d01dd73dfe5b03e758d82902bb3bd8acc40cb92d;hpb=24fc5e5485245fe879e17d46176530b688930b3b;p=helm.git

diff --git a/matitaB/components/disambiguation/Makefile b/matitaB/components/disambiguation/Makefile
index d01dd73df..5f632d949 100644
--- a/matitaB/components/disambiguation/Makefile
+++ b/matitaB/components/disambiguation/Makefile
@@ -1,8 +1,7 @@
 PACKAGE = disambiguation
 INTERFACE_FILES =		\
 	disambiguateTypes.mli	\
-	disambiguate.mli \
-	multiPassDisambiguator.mli
+	disambiguate.mli 
 IMPLEMENTATION_FILES = \
 	$(patsubst %.mli, %.ml, $(INTERFACE_FILES))