Adding tacticAst2Box (pretty printer for tactical, preliminary version).

[helm.git] / helm / ocaml / cic_transformations / ast2pres.ml

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index c5d59029dc5e367d40b2aff5018721d6df8680a1..9679501ab460d2c8ae707edfbc36db396037ac22 100644 (file)
--- 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)]