diff options
Diffstat (limited to 'printing/ppvernac.ml')
| -rw-r--r-- | printing/ppvernac.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml index 7eb8396ac..83c875707 100644 --- a/printing/ppvernac.ml +++ b/printing/ppvernac.ml @@ -16,12 +16,13 @@ open Util open CAst open Extend -open Vernacexpr -open Pputils open Libnames +open Decl_kinds open Constrexpr open Constrexpr_ops -open Decl_kinds +open Vernacexpr +open Declaremods +open Pputils open Ppconstr |