diff options
Diffstat (limited to 'stdlib/arg.ml')
| -rw-r--r-- | stdlib/arg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/arg.ml b/stdlib/arg.ml index 48c3343bf..3e7133e20 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -70,7 +70,7 @@ let parse speclist anonfun errmsg = incr current; while !current < l do let s = Sys.argv.(!current) in - if String.length s >= 1 & String.get s 0 = '-' then begin + if String.length s >= 1 && String.get s 0 = '-' then begin let action = try assoc3 s speclist with Not_found -> stop (Unknown s) |