X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_kernel%2FMakefile;h=acf7c9728eac2a914cbcda8bdb263f7591328aee;hb=ae3e8f274a39b9ce5b551163f7fd76f3b8b4ed58;hp=35b89f3b1005c2fab30426d57fd3e6cd3f38afd2;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_kernel/Makefile b/matitaB/components/ng_kernel/Makefile
index 35b89f3b1..acf7c9728 100644
--- 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 \