X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FMakefile;h=4a8977aa76254bbf99b43505e026b68af3803de1;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3669f5d7e6aa3071388205e57c66aa82fa819d69;hpb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;p=helm.git

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 3669f5d7e..4a8977aa7 100644
--- 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 = \