diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/top_printers.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index 0339a8fddd..62fc841e6f 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -34,7 +34,8 @@ let prast c = pp(print_ast c) let prastpat c = pp(print_astpat c) let prastpatl c = pp(print_astlpat c) -let ppterm = (fun x -> pp(prterm x)) +let ppterm x = pp(prterm x) +let ppterm_univ x = Termast.with_universes ppterm x let pprawterm = (fun x -> pp(pr_rawterm x)) let pppattern = (fun x -> pp(pr_pattern x)) let pptype = (fun x -> pp(prtype x)) |