diff options
Diffstat (limited to 'kernel/closure.ml')
| -rw-r--r-- | kernel/closure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/closure.ml b/kernel/closure.ml index fa174d6109..f4cee1c83a 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -649,7 +649,7 @@ let inject constr = freeze ESID constr * just writing a "*" if it is in normal form *) let prfconstr v = - let pv = Printer.prterm (term_of_freeze v) in + let pv = Printer.pr_term (term_of_freeze v) in if v.norm then [< 'sTR"*"; pv >] else pv |