X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fdisambiguation%2FMakefile;h=5f632d949dfff888c40ede2e93d4e965f4d0f57d;hb=fac3598255cacd81d345099c6ed8cc31ce9b0fd2;hp=d01dd73dfe5b03e758d82902bb3bd8acc40cb92d;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;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))