parameter sintax added to axiom statement

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

diff --git a/helm/software/components/cic/Makefile b/helm/software/components/cic/Makefile
index 67979211b4b822f96b5755f7036768db6c5f90b4..07f1d3f146e148748b0121d822fccae1e681482e 100644 (file)
--- a/helm/software/components/cic/Makefile
+++ b/helm/software/components/cic/Makefile
@@ -2,14 +2,14 @@ PACKAGE = cic
 PREDICATES =
 
 INTERFACE_FILES = \
-       unshare.mli             \
        cicUniv.mli             \
+       unshare.mli             \
        deannotate.mli          \
        cicParser.mli           \
        cicUtil.mli             \
        helmLibraryObjects.mli  \
        libraryObjects.mli      \
-       discrimination_tree.mli \
+       cic_indexable.mli \
        path_indexing.mli       \
        cicInspect.mli
 IMPLEMENTATION_FILES = \