Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab...

[tatoo.git] / src / test.ml

diff --git a/src/test.ml b/src/test.ml
index 935023d..e9000c3 100644 (file)
--- a/src/test.ml
+++ b/src/test.ml
@@ -63,4 +63,7 @@ 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);
+  output_string stderr "\n";
   exit 0