X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftest.ml;h=e9000c326277461108bf717b01f28065c8d8b49c;hb=c1b43e1dcdb3d0960dbc50db9f226d68ad30c16e;hp=00f75f03d9ddc7f416e73eb20da2f6d113ba47eb;hpb=43df500d1441955e3bc932be2e76318f759f7295;p=tatoo.git diff --git a/src/test.ml b/src/test.ml index 00f75f0..e9000c3 100644 --- a/src/test.ml +++ b/src/test.ml @@ -65,4 +65,5 @@ let () = 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