diff options
Diffstat (limited to 'dev/top_printers.ml')
| -rw-r--r-- | dev/top_printers.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index b552d99949..b7736f4987 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -71,6 +71,7 @@ let ppwf_paths x = pp (Rtree.pp_tree pprecarg x) let rawdebug = ref false let ppevar evk = pp (str (Evd.string_of_existential evk)) let ppconstr x = pp (Termops.print_constr x) +let ppeconstr x = pp (Termops.print_constr (EConstr.Unsafe.to_constr x)) let ppconstr_expr x = pp (Ppconstr.pr_constr_expr x) let ppconstrdb x = pp(Flags.with_option rawdebug Termops.print_constr x) let ppterm = ppconstr |