1 files changed, 13 insertions, 7 deletions
diff --git a/dev/printers.mllib b/dev/printers.mllib
index 889484ee..6a42678e 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -7,18 +7,16 @@ Flags
 Segmenttree
 Unicodetable
 Util
+Errors
 Bigint
 Hashcons
 Dyn
 System
 Envars
-Bstack
-Edit
-Gset
+Store
 Gmap
 Fset
 Fmap
-Tlm
 Gmapl
 Profile
 Explore
@@ -27,6 +25,7 @@ Rtree
 Heap
 Option
 Dnet
+Hashtbl_alt
 
 Names
 Univ
@@ -71,7 +70,7 @@ Assumptions
 Termops
 Namegen
 Evd
-Rawterm
+Glob_term
 Reductionops
 Inductiveops
 Retyping
@@ -81,6 +80,7 @@ Evarutil
 Term_dnet
 Recordops
 Evarconv
+Arguments_renaming
 Typing
 Pattern
 Matching
@@ -94,8 +94,9 @@ Coercion
 Unification
 Cases
 Pretyping
-Clenv
+Declaremods
 
+Tok
 Lexer
 Ppextend
 Genarg
@@ -109,12 +110,17 @@ Syntax_def
 Implicit_quantifiers
 Smartlocate
 Constrintern
-Proof_trees
+Modintern
 Tacexpr
 Proof_type
+Goal
 Logic
 Refiner
+Clenv
 Evar_refiner
+Proofview
+Proof
+Proof_global
 Pfedit
 Tactic_debug
 Decl_mode