X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FMakefile;h=7501004fbc5f679019691ea2f63fcc25abb89602;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=2eadef1870dab75156eccace885bd97ae1768d46;hpb=683978a2627cf1ce15673360f26806593d22f7b5;p=helm.git

diff --git a/helm/software/components/content_pres/Makefile b/helm/software/components/content_pres/Makefile
index 2eadef187..7501004fb 100644
--- a/helm/software/components/content_pres/Makefile
+++ b/helm/software/components/content_pres/Makefile
@@ -9,8 +9,8 @@ INTERFACE_FILES =		 \
 	box.mli			 \
 	content2presMatcher.mli	 \
 	termContentPres.mli	 \
-	cicNotationPres.mli	 \
 	boxPp.mli		 \
+	cicNotationPres.mli	 \
 	content2pres.mli	 \
 	sequent2pres.mli	 \
 	$(NULL)