From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Nov 2007 12:29:13 +0000 (+0000)
Subject: cic_acic should be compiled before cic_exportation
X-Git-Tag: make_still_working~5895
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a0dbdd5fb5c65361137427f1a014a0736a43ebd5;p=helm.git

cic_acic should be compiled before cic_exportation
---

diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile
index 34020150a..01dabc9a6 100644
--- a/helm/software/components/Makefile
+++ b/helm/software/components/Makefile
@@ -19,8 +19,8 @@ MODULES =			\
 	getter			\
 	cic			\
 	cic_proof_checking	\
-	cic_exportation		\
 	cic_acic		\
+	cic_exportation		\
 	metadata		\
 	library			\
 	acic_content		\