X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Ftest.ml;fp=src%2Ftest.ml;h=00f75f03d9ddc7f416e73eb20da2f6d113ba47eb;hb=ce22e0dd0d0dbb234bc965feb14ab8f250be2da4;hp=935023d35fe3c8166135cdd7a2f2a7f999cc676f;hpb=acfa2a9c516dfa751d6963d99e6148f7584537b1;p=tatoo.git

diff --git a/src/test.ml b/src/test.ml
index 935023d..00f75f0 100644
--- a/src/test.ml
+++ b/src/test.ml
@@ -63,4 +63,6 @@ let () =
   output_string stderr "\n";
   Asta.print err_formatter asta;
   Run.print err_formatter run;
+  output_string stderr "\n  # Doc: \n";
+  Tree.print_xml_preorder stderr doc (Tree.root doc);
   exit 0