X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=aed4ebbc42585403c873ddd5a5a43a1c61fbedcd;hb=cea756c7adc49891004bfe455628010eb7a28bc9;hp=a7250a08eafd188f9b896a48549d8b2dbdf0ee8c;hpb=7489c542a7b7357a1c2bbc436d1d77c601833d3b;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index a7250a0..aed4ebb 100644
--- a/main.ml
+++ b/main.ml
@@ -75,7 +75,7 @@ let main v query output =
 		      time( fun () ->
 			      let oc = open_out f in
 				output_string oc "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n";				
-				TS.iter (fun t -> output_string oc "----------\n";
+				TS.iter (fun t -> 
 					   Tree.print_xml_fast oc t;
 					   output_char oc '\n') result) ();
 	      end;