X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Foptions.ml;h=61f03966a7bfbf8851df3062588d89d904bbc26b;hp=142b709491d3026319bdfcad2d9c2d0465d7ff53;hb=969febf12344a3fe3bf793a323b2e88f7b20ebae;hpb=acd23a33d837d03c813212ec3896a86edef16e87 diff --git a/src/options.ml b/src/options.ml index 142b709..61f0396 100644 --- a/src/options.ml +++ b/src/options.ml @@ -7,10 +7,10 @@ let query = ref "" let stats = ref false let specs = align [ - "-c", Set count, ""; - "--count", Set count, " write the number of results only"; - "-s", Set stats, ""; - "--stats", Set stats, " display timing and various statistics"; + "-c", Set count, " write the number of results only"; + "--count", Set count, " "; + "-s", Set stats, " display timing and various statistics"; + "--stats", Set stats, " "; ] let usage_msg = Printf.sprintf "usage: %s [options] input.xml query [output.xml]" Sys.argv.(0)