[prettyp] remove `mod_ops` and `indirect_accessor` parameters

`Prettyp` is now late enough in linking to refer to them.

1 files changed, 1 insertions, 5 deletions

diff --git a/toplevel/coqc.ml b/toplevel/coqc.ml
index 642dc94ab2..98206fb341 100644
--- a/toplevel/coqc.ml
+++ b/toplevel/coqc.ml
@@ -53,11 +53,7 @@ let coqc_main copts ~opts =
 
   if opts.Coqargs.post.Coqargs.output_context then begin
     let sigma, env = let e = Global.env () in Evd.from_env e, e in
-    let library_accessor = Library.indirect_accessor in
-    let mod_ops = { Printmod.import_module = Declaremods.import_module
-                  ; process_module_binding = Declaremods.process_module_binding
-                  } in
-    Feedback.msg_notice Pp.(Flags.(with_option raw_print (Prettyp.print_full_pure_context ~mod_ops ~library_accessor env) sigma) ++ fnl ())
+    Feedback.msg_notice Pp.(Flags.(with_option raw_print (Prettyp.print_full_pure_context env) sigma) ++ fnl ())
   end;
   CProfile.print_profile ()