diff options
Diffstat (limited to 'library/goptions.ml')
-rw-r--r-- | library/goptions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/goptions.ml b/library/goptions.ml index 2876d6243..35616558a 100644 --- a/library/goptions.ml +++ b/library/goptions.ml @@ -305,7 +305,7 @@ let declare_string_option = declare_option (fun v -> StringValue v) (function StringValue v -> v | _ -> anomaly (Pp.str "async_option")) - (fun x y -> x^" "^y) + (fun x y -> x^","^y) let declare_stringopt_option = declare_option (fun v -> StringOptValue v) |