ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_transformations / Makefile

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 3669f5d7e6aa3071388205e57c66aa82fa819d69..4a8977aa76254bbf99b43505e026b68af3803de1 100644 (file)
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -17,7 +17,6 @@ INTERFACE_FILES =             \
        sequent2pres.mli        \
        domMisc.mli             \
        xml2Gdome.mli           \
-       sequentPp.mli           \
        applyTransformation.mli \
        $(NULL)
 IMPLEMENTATION_FILES = \