- lambda_delta: static type assignment is defined

[helm.git] / matita / matita / applyTransformation.ml

diff --git a/matita/matita/applyTransformation.ml b/matita/matita/applyTransformation.ml
index 51ac812683488f6d5e0d6baa940da126d8ced93b..705ef7936df0b993176d11093c6f03b7104004c7 100644 (file)
--- a/matita/matita/applyTransformation.ml
+++ b/matita/matita/applyTransformation.ml
@@ -53,7 +53,7 @@ let ntxt_of_cic_sequent ~metasenv ~subst =
   (fun seq -> (new NCicPp.status)#ppmetasenv ~subst [seq])
 
 let ntxt_of_cic_object ~map_unicode_to_tex =
- to_text Interpretations.nmap_obj Content2pres.nobj2pres ~map_unicode_to_tex
+ to_text Interpretations.nmap_cobj Content2pres.nobj2pres ~map_unicode_to_tex
   (new NCicPp.status)#ppobj
 
 let ntxt_of_cic_term ~metasenv ~subst ~context =