diff options
Diffstat (limited to 'stdlib/arg.ml')
| -rw-r--r-- | stdlib/arg.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/arg.ml b/stdlib/arg.ml index b6ddd3dd6..8f942afb0 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -185,10 +185,10 @@ let parse_argv argv speclist anonfun errmsg = done; ;; -let parse = +let parse l f msg = current := 0; try - parse_argv Sys.argv; + parse_argv Sys.argv l f msg; with | Bad msg -> eprintf "%s" msg; exit 0; | Help msg -> eprintf "%s" msg; exit 2; |