X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FMakefile;h=9d192c5b936e6d6ac6f12310cefa4d1a8f45a72b;hb=89fc31fc5cc01e8860cf67a8e096c24125370d31;hp=658d8d354d62465e5ef717dc723034e8ae4abad6;hpb=d206219b4b193feeebaa25bea70bc8ec153777e5;p=helm.git

diff --git a/matitaB/components/content_pres/Makefile b/matitaB/components/content_pres/Makefile
index 658d8d354..9d192c5b9 100644
--- a/matitaB/components/content_pres/Makefile
+++ b/matitaB/components/content_pres/Makefile
@@ -6,10 +6,10 @@ INTERFACE_FILES =		 \
 	smallLexer.mli	 \
 	cicNotationParser.mli	 \
 	box.mli			 \
+	content2presMatcher.mli  \
 	termContentPres.mli	 \
 	boxPp.mli		 \
 	cicNotationPres.mli	 \
-	content2presMatcher.mli  \
 	$(NULL)
 IMPLEMENTATION_FILES =		 \
 	$(INTERFACE_FILES:%.mli=%.ml) \