X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FMakefile;h=d5b16e92446f793f79cdf417bccc2ad32548e30e;hb=68b13bbcf487f7575d5f04f6b2c23aa9ef02409b;hp=b8582bacac18d5103e3130f09a6cd556d5199440;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/lexicon/Makefile b/helm/software/components/lexicon/Makefile
index b8582baca..d5b16e924 100644
--- a/helm/software/components/lexicon/Makefile
+++ b/helm/software/components/lexicon/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =		\
 	lexiconAstPp.mli		\
-	disambiguatePp.mli 	\
 	lexiconMarshal.mli	\
 	cicNotation.mli		\
 	lexiconEngine.mli	\