1 files changed, 6 insertions, 7 deletions
diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 5d270125a..50713b957 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -22,15 +22,17 @@ CPrimitives
 Declareops
 Retroknowledge
 Conv_oracle
-Pre_env
+Environ
+CClosure
+Reduction
 Clambda
 Nativelambda
 Cbytegen
 Nativecode
 Nativelib
-Environ
-CClosure
-Reduction
+Csymtable
+Vm
+Vconv
 Nativeconv
 Type_errors
 Modops
@@ -43,6 +45,3 @@ Subtyping
 Mod_typing
 Nativelibrary
 Safe_typing
-Csymtable
-Vm
-Vconv