X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.ml;h=ff4fdbeebe33e56936747c58f66f3390834fa853;hb=f84dd2f6de7d5da16da729dc2e91cbdeb3585d75;hp=ffa5fa7777d7dbc98899a9ad4c553dd7c3f7b3f6;hpb=9abf8a6f78264fbf4eec1676b4a26018967c97e6;p=SXSI%2Fxpathcomp.git

diff --git a/options.ml b/options.ml
index ffa5fa7..ff4fdbe 100644
--- a/options.ml
+++ b/options.ml
@@ -7,7 +7,7 @@ let input_file = ref ""
 let output_file = ref None
 let save_file = ref ""
 
-let usage_msg = Printf.sprintf "%s <input.xml> 'query' [output]" Sys.argv.(0)
+let usage_msg = Printf.sprintf "%s <input.{xml|srx}> 'query' [output]" Sys.argv.(0)
 
 
 let pos = ref 0