Commit 464a44f0 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix incorrect usage of Arg.align, which caused --help to appear several times.

parent 4798fbca
......@@ -165,7 +165,7 @@ module Server = Itp_server.Make (Scheduler) (Protocol_why3ide)
let files : string Queue.t = Queue.create ()
let opt_parser = ref None
let spec = Arg.align [
let spec = [
"-F", Arg.String (fun s -> opt_parser := Some s),
"<format> select input format (default: \"why\")";
"--format", Arg.String (fun s -> opt_parser := Some s),
......
......@@ -129,7 +129,7 @@ let files : string Queue.t = Queue.create ()
let opt_parser = ref None
let spec = Arg.align [
let spec = [
"-F", Arg.String (fun s -> opt_parser := Some s),
"<format> select input format (default: \"why\")";
"--format", Arg.String (fun s -> opt_parser := Some s),
......
......@@ -81,7 +81,7 @@ let send_request = Protocol_shell.send_request
(* files of the current task *)
let files = Queue.create ()
let spec = Arg.align []
let spec = []
(* --help *)
let usage_str = Format.sprintf
......
......@@ -26,7 +26,7 @@ let opt_title = ref None
let opt_body = ref false
let opt_queue = Queue.create ()
let option_list = Arg.align [
let option_list = [
"-o", Arg.String (fun s -> opt_output := Some s),
"<dir> print files in <dir>";
"--output", Arg.String (fun s -> opt_output := Some s),
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment