]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed modules order
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:40:49 +0000 (11:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:40:49 +0000 (11:40 +0000)
helm/software/components/cic/Makefile

index 67979211b4b822f96b5755f7036768db6c5f90b4..c846f38046aa30e46c0d073c4f7c12a22c1a544d 100644 (file)
@@ -2,8 +2,8 @@ PACKAGE = cic
 PREDICATES =
 
 INTERFACE_FILES = \
-       unshare.mli             \
        cicUniv.mli             \
+       unshare.mli             \
        deannotate.mli          \
        cicParser.mli           \
        cicUtil.mli             \