ranking reports the lest of univs

[helm.git] / helm / software / components / cic / Makefile

diff --git a/helm/software/components/cic/Makefile b/helm/software/components/cic/Makefile
index 67979211b4b822f96b5755f7036768db6c5f90b4..c846f38046aa30e46c0d073c4f7c12a22c1a544d 100644 (file)
--- 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             \