diff options
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index 5f23c1d641..95a93cde73 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -265,8 +265,7 @@ let print_term inner_types l env csr = let inner_type_display env term = let type_of_term = - Reduction.nf_betaiota env (Evd.empty) - (R.get_type_of env (Evd.empty) term) + Reduction.nf_betaiota (R.get_type_of env (Evd.empty) term) in match R.get_sort_of env (Evd.empty) type_of_term with T.Prop T.Null -> InnerProp type_of_term |