Mentions légales du service

Skip to content
Snippets Groups Projects

Adapt w.r.t. coq/coq#15069.

Merged Pierre-Marie Pédrot requested to merge pedrot/coq:engine-without-global into master
1 file
+ 4
0
Compare changes
  • Side-by-side
  • Inline
+ 4
0
@@ -52,7 +52,11 @@ let pr_constr t =
let sigma, env = get_current_context () in
Printer.pr_econstr_env env sigma t
#if COQVERSION >= 81500
let constr_of_global gr = UnivGen.constr_of_monomorphic_global (Global.env ()) gr
#else
let constr_of_global = UnivGen.constr_of_monomorphic_global
#endif
let binder_name = Context.binder_name
Loading