diff options
Diffstat (limited to 'stdlib/arg.ml')
| -rw-r--r-- | stdlib/arg.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/arg.ml b/stdlib/arg.ml index 0602f6103..b49c04a13 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -64,9 +64,10 @@ let make_symlist prefix sep suffix l = let print_spec buf (key, spec, doc) = if String.length doc > 0 then match spec with - | Symbol (l, _) -> bprintf buf " %s %s%s\n" key (make_symlist "{" "|" "}" l) - doc - | _ -> bprintf buf " %s %s\n" key doc + | Symbol (l, _) -> + bprintf buf " %s %s%s\n" key (make_symlist "{" "|" "}" l) doc + | _ -> + bprintf buf " %s %s\n" key doc ;; let help_action () = raise (Stop (Unknown "-help"));; |