diff options
| author | Pierre-Marie Pédrot | 2015-10-14 18:51:47 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-14 18:51:47 +0200 |
| commit | 1d6c4f135d42a008b21d86d8ecd8b329405d8d7c (patch) | |
| tree | ad42112a294de1d95bc850e73251dac2e7a82aed /dev | |
| parent | a895b2c0caf8ec9c0deb04b8dea890283bd7329d (diff) | |
Reverting modifications in dev/top_printers pushed mistakenly.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/top_printers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index 059c812ad5..f9f2e1b09e 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -165,7 +165,7 @@ let pp_state_t n = pp (Reductionops.pr_state n) (* proof printers *) let pr_evar ev = Pp.int (Evar.repr ev) let ppmetas metas = pp(pr_metaset metas) -let ppevm evd = pp(Evd.pr_evar_universe_context (Evd.evar_universe_context evd)) +let ppevm evd = pp(pr_evar_map ~with_univs:!Flags.univ_print (Some 2) evd) let ppevmall evd = pp(pr_evar_map ~with_univs:!Flags.univ_print None evd) let pr_existentialset evars = prlist_with_sep spc pr_evar (Evar.Set.elements evars) |