diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-07-03 13:17:09 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-07-03 13:17:09 +0000 |
| commit | 12690ec2d8dfa493bf67a5abe5b624535bf96a76 (patch) | |
| tree | 02d8b8423cc592424c6ec1d01baa983bdb06990d /stdlib | |
| parent | 580fb97a7f79ee586afa823628986d102bd8646c (diff) | |
bug de currification
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -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; |