X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fmain.ml;h=9a5fd69d0fba81a93457ca4ec4c65b3494c67371;hp=100581e05ab010063578e38acbd5dd622e703b0e;hb=398d3e07fa7a472395fa125f504c11629ec601ad;hpb=20538a1c949f89745b73f89f9d0c146dc42454a2

diff --git a/src/main.ml b/src/main.ml
index 100581e..9a5fd69 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -38,10 +38,10 @@ let () =
   fprintf err_formatter "Evaluating automaton:\n%!";
   let module Naive = Auto.Eval.Make(Tree.Naive) in
   let results = Naive.eval auto doc (Tree.Naive.root doc) in
-  output_string stdout "<xml_results>\n";
+  output_string stdout "<xml_result>\n";
   List.iter (fun n ->
     Tree.Naive.print_xml stdout doc n;
     output_char stdout '\n'
   ) results;
-  output_string stdout "\n<xml_results>";
+  output_string stdout "</xml_result>\n";
   flush stdout