From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 11 Jan 2005 15:59:06 +0000 (+0000)
Subject: cosmetic changes
X-Git-Tag: V_0_1_0~151
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eec7bebeef825af62d31a75686e62ab3a1c9b202;p=helm.git

cosmetic changes
---

diff --git a/helm/ocaml/cic/Makefile b/helm/ocaml/cic/Makefile
index 176baf453..5d3c19c3c 100644
--- a/helm/ocaml/cic/Makefile
+++ b/helm/ocaml/cic/Makefile
@@ -3,7 +3,13 @@ REQUIRES = helm-urimanager helm-pxp helm-xml
 PREDICATES =
 
 INTERFACE_FILES = \
-	cicUniv.mli deannotate.mli cicParser3.mli cicParser2.mli cicParser.mli cicUtil.mli helmLibraryObjects.mli
+	cicUniv.mli	\
+	deannotate.mli	\
+	cicParser3.mli	\
+	cicParser2.mli	\
+	cicParser.mli	\
+	cicUtil.mli	\
+	helmLibraryObjects.mli
 IMPLEMENTATION_FILES = \
 	cic.ml $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi