From 81d304b7fa0eb64d27478e88bb2af60a0d460aa8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 11 Apr 2008 11:40:49 +0000
Subject: [PATCH] fixed modules order

---
 helm/software/components/cic/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/components/cic/Makefile b/helm/software/components/cic/Makefile
index 67979211b..c846f3804 100644
--- a/helm/software/components/cic/Makefile
+++ b/helm/software/components/cic/Makefile
@@ -2,8 +2,8 @@ PACKAGE = cic
 PREDICATES =
 
 INTERFACE_FILES = \
-	unshare.mli             \
 	cicUniv.mli		\
+	unshare.mli             \
 	deannotate.mli		\
 	cicParser.mli		\
 	cicUtil.mli		\
-- 
2.39.2