Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
fd0177eb
Commit
fd0177eb
authored
May 24, 2010
by
Francois Bobot
Browse files
Fix : command line help option
parent
22113f6a
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/main.ml
View file @
fd0177eb
...
...
@@ -164,7 +164,7 @@ let option_list = Arg.align [
"-a"
,
Arg
.
String
add_opt_trans
,
"<transformation> Add a transformation to apply to the task"
;
"--apply-transform"
,
Arg
.
String
add_opt_trans
,
" same as -
o
"
]
" same as -
a
"
]
let
()
=
Arg
.
parse
option_list
add_opt_file
usage_msg
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment