From b48a0a78c26ec34b84fe10cb8efb2bf54d8d7584 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 18 Jan 2019 18:10:17 -0500 Subject: Mention the separator (spaces) of the list arg --- src/CLI.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/CLI.v') diff --git a/src/CLI.v b/src/CLI.v index 3975b0845..b4ed87604 100644 --- a/src/CLI.v +++ b/src/CLI.v @@ -144,7 +144,7 @@ Module ForExtraction. Definition machine_wordsize_help := " machine_wordsize The machine bitwidth (e.g., 32 or 64)". Definition function_to_synthesize_help (valid_names : string) - := " function_to_synthesize A list of functions that should be synthesized. If no functions are given, all functions are synthesized." + := " function_to_synthesize A space-separated list of functions that should be synthesized. If no functions are given, all functions are synthesized." ++ String.NewLine ++ " Valid options are " ++ valid_names. -- cgit v1.2.3