1 files changed, 8 insertions, 9 deletions
diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 370185a7..a18c5d1e 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -5,32 +5,34 @@ UGraph
 Esubst
 Sorts
 Evar
-Constr
 Context
+Constr
 Vars
 Term
 Mod_subst
+Vmvalues
 Cbytecodes
 Copcodes
 Cemitcodes
 Opaqueproof
 Declarations
 Entries
-Vmvalues
 Nativevalues
 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
-Vm
-Csymtable
-Vconv