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: 0.4.95@7852~46
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=040b70279b9bf0f576f00a9b1ad28df3c8bf6024

cic_acic should be compiled before cic_exportation
---

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