diff options
| author | alainfrisch <alain@frisch.fr> | 2016-07-11 14:55:40 +0200 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2016-07-11 14:55:40 +0200 |
| commit | 15e83644b553f872b14faa6160f013418ad0dbd7 (patch) | |
| tree | 248733a5f3a07fd57739e38bb437bee7735a820e /driver | |
| parent | d88ac0ac7d2e6eccd3d393d92f9e7b52c6de9ed3 (diff) | |
| download | ocaml-15e83644b553f872b14faa6160f013418ad0dbd7.tar.gz | |
Misc.split -> String.split_on_char.
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml index 7316502d0d..bcf93e5ceb 100644 --- a/driver/compenv.ml +++ b/driver/compenv.ml @@ -106,7 +106,7 @@ type readenv_position = exception SyntaxError of string let parse_args s = - let args = Misc.split s ',' in + let args = String.split_on_char ',' s in let rec iter is_after args before after = match args with [] -> |