Skip to content
Browse files

[fix] baseArg: wrong update of Arg.split with the new String.splice_c…

…hars
  • Loading branch information...
1 parent b5f0109 commit d984e386e129d9a5fb8db6dfa8eb17c836a61639 Valentin Gatien-Baron committed Jun 27, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 libbase/baseArg.ml
View
2 libbase/baseArg.ml
@@ -256,4 +256,4 @@ let rec add_bash_completion ?name ?names ?default args =
" Dumps a bash completion in ./bash_completion") :: args in
new_args
-let split s = String.slice_chars " .;" s
+let split s = String.slice_chars " ,;" s

0 comments on commit d984e38

Please sign in to comment.
Something went wrong with that request. Please try again.