- matitacLib: better handling of the callbacks for the dump operation

[helm.git] / helm / software / components / lexicon / Makefile

diff --git a/helm/software/components/lexicon/Makefile b/helm/software/components/lexicon/Makefile
index b8582bacac18d5103e3130f09a6cd556d5199440..d5b16e92446f793f79cdf417bccc2ad32548e30e 100644 (file)
--- 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       \