This commit patches the environment and the library so that their status is

[helm.git] / matitaB / components / ng_kernel / Makefile

diff --git a/matitaB/components/ng_kernel/Makefile b/matitaB/components/ng_kernel/Makefile
index 35b89f3b1005c2fab30426d57fd3e6cd3f38afd2..acf7c9728eac2a914cbcda8bdb263f7591328aee 100644 (file)
--- a/matitaB/components/ng_kernel/Makefile
+++ b/matitaB/components/ng_kernel/Makefile
@@ -4,9 +4,9 @@ PREDICATES =
 INTERFACE_FILES = \
        nUri.mli \
        nReference.mli \
+       nCicEnvironment.mli \
        nCicUtils.mli \
        nCicSubstitution.mli \
-       nCicEnvironment.mli \
        nCicReduction.mli \
        nCicTypeChecker.mli \
        nCicUntrusted.mli \