X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.ml;h=9679501ab460d2c8ae707edfbc36db396037ac22;hb=ed3cc138a0066b654db61f28a176c54d35a4ddc3;hp=c5d59029dc5e367d40b2aff5018721d6df8680a1;hpb=b17d17bb5232a21edc209db4dc58acd724052c74;p=helm.git

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index c5d59029d..9679501ab 100644
--- a/helm/ocaml/cic_transformations/ast2pres.ml
+++ b/helm/ocaml/cic_transformations/ast2pres.ml
@@ -306,6 +306,7 @@ and make_subst start_txt varname body end_txt =
     [Box.Text([],end_txt)] 
 	  
 and pretty_append l ast tail =
+  prerr_endline("pretty riceve: " ^ (CicAstPp.pp_term ast));
   if is_big ast then
     [Box.H([],l);
      Box.H([],Box.skip::(bigast2box ast)::tail)]