diff options
Diffstat (limited to 'tools/objinfo.ml')
-rw-r--r-- | tools/objinfo.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/objinfo.ml b/tools/objinfo.ml index 31f8c31a62..1b723d2018 100644 --- a/tools/objinfo.ml +++ b/tools/objinfo.ml @@ -407,7 +407,7 @@ let arg_list = [ let arg_usage = Printf.sprintf "%s [OPTIONS] FILES : give information on files" Sys.argv.(0) -let main() = +let main () = Arg.parse_expand arg_list dump_obj arg_usage; exit 0 |