1 files changed, 20 insertions, 16 deletions

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 07b48ed573..9f25ba55e7 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -8,6 +8,7 @@ Hashcons
 CSet
 CMap
 Int
+Dyn
 HMap
 Option
 Store
@@ -16,6 +17,9 @@ Backtrace
 IStream
 Pp_control
 Loc
+CList
+CString
+Tok
 Compat
 Flags
 Control
@@ -28,15 +32,12 @@ Segmenttree
 Unicodetable
 Unicode
 CObj
-CList
-CString
 CArray
 CStack
 Util
 Ppstyle
 Errors
 Bigint
-Dyn
 CUnix
 System
 Envars
@@ -48,13 +49,14 @@ Rtree
 Heap
 Genarg
 Stateid
-Ephemeron
+CEphemeron
 Future
 RemoteCounter
 Monad
 
 Names
 Univ
+UGraph
 Esubst
 Uint31
 Sorts
@@ -116,17 +118,21 @@ Miscops
 Universes
 Termops
 Namegen
+UState
 Evd
+Sigma
 Glob_ops
 Redops
+Pretype_errors
+Evarutil
 Reductionops
 Inductiveops
 Arguments_renaming
 Nativenorm
 Retyping
 Cbv
-Pretype_errors
-Evarutil
+
+Evardefine
 Evarsolve
 Recordops
 Evarconv
@@ -137,6 +143,9 @@ Find_subterm
 Tacred
 Classops
 Typeclasses_errors
+Logic_monad
+Proofview_monad
+Proofview
 Typeclasses
 Detyping
 Indrec
@@ -150,7 +159,6 @@ Library
 States
 
 Genprint
-Tok
 Lexer
 Ppextend
 Pputils
@@ -160,18 +168,17 @@ Constrarg
 Constrexpr_ops
 Genintern
 Notation_ops
-Topconstr
 Notation
 Dumpglob
+Syntax_def
+Smartlocate
+Topconstr
 Reserve
 Impargs
-Syntax_def
 Implicit_quantifiers
-Smartlocate
 Constrintern
 Modintern
 Constrextern
-Proof_type
 Goal
 Miscprint
 Logic
@@ -179,15 +186,13 @@ Refiner
 Clenv
 Evar_refiner
 Proof_errors
-Logic_monad
-Proofview_monad
-Proofview
+Refine
 Proof
 Proof_global
 Pfedit
-Tactic_debug
 Decl_mode
 Ppconstr
+Entry
 Pcoq
 Printer
 Pptactic
@@ -195,7 +200,6 @@ Ppdecl_proof
 Egramml
 Egramcoq
 Tacsubst
-Tacenv
 Trie
 Dn
 Btermdn