X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftest.ml;h=935023d35fe3c8166135cdd7a2f2a7f999cc676f;hp=e6cd725eb629f3de3475d6ba9a431e9547d8dbff;hb=881ebcb1df7335560c8715ec673980158f6ee585;hpb=fc25fccd005bca9e1dd3e9f4f3f93d002917367b diff --git a/src/test.ml b/src/test.ml index e6cd725..935023d 100644 --- a/src/test.ml +++ b/src/test.ml @@ -33,10 +33,10 @@ let query () = let arg2 = Sys.argv.(2) in if arg2 = "-f" then let fq = open_in Sys.argv.(3) in - let q = XPath.parse_file fq in - close_in fq; - fprintf err_formatter "Parse query OK ! "; - q + let q = XPath.parse_file fq in + close_in fq; + fprintf err_formatter "Parse query OK ! "; + q else let q = XPath.parse_string arg2 in fprintf err_formatter "Parse query OK ! "; q @@ -62,6 +62,5 @@ let () = Tree.print_xml stderr doc (Tree.root doc); output_string stderr "\n"; Asta.print err_formatter asta; - fprintf err_formatter "@[##### Run #####@. %a@]\n" - Run.print run; + Run.print err_formatter run; exit 0