X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;h=61f03966a7bfbf8851df3062588d89d904bbc26b;hb=24436e93ca6e35ce6a5c7ba4db894035f8fd7e31;hp=142b709491d3026319bdfcad2d9c2d0465d7ff53;hpb=5b5dcd45cf86701ccfe917c1d6ad73b83bb523c3;p=tatoo.git 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)