Stop accessing proof env via Pfedit in printers

This should make https://github.com/coq/coq/pull/9129 easier.

1 files changed, 1 insertions, 1 deletions

diff --git a/vernac/vernacextend.mli b/vernac/vernacextend.mli
index 118907c31b..4d89eaffd9 100644
--- a/vernac/vernacextend.mli
+++ b/vernac/vernacextend.mli
@@ -109,7 +109,7 @@ type 'a argument_rule =
     entries instead of ty_user_symbol and thus arguments as roots. *)
 
 type 'a vernac_argument = {
-  arg_printer : 'a -> Pp.t;
+  arg_printer : Environ.env -> Evd.evar_map -> 'a -> Pp.t;
   arg_parsing : 'a argument_rule;
 }