From 42f521d790517e07ca378c6cacf0be15f470fddf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Sj=C3=B6lund?= Date: Mon, 3 Aug 2015 17:14:03 +0200 Subject: [PATCH] Print string list default values in Sphinx doc --- Compiler/Util/Flags.mo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Compiler/Util/Flags.mo b/Compiler/Util/Flags.mo index ec40b7ec62f..1284d6afdf4 100644 --- a/Compiler/Util/Flags.mo +++ b/Compiler/Util/Flags.mo @@ -2432,7 +2432,7 @@ algorithm case REAL_FLAG() then System.gettext("Real (default")+" ``" + realString(flag.data) + "``)."; case STRING_FLAG("") then System.gettext("String (default *empty*)."); case STRING_FLAG() then System.gettext("String (default")+" " + flag.data + ")."; - case STRING_LIST_FLAG() then System.gettext("String list (default *empty*)."); + case STRING_LIST_FLAG(data={}) then System.gettext("String list (default *empty*)."); case STRING_LIST_FLAG() then System.gettext("String list (default")+" " + stringDelimitList(flag.data, ",") + ")."; case ENUM_FLAG() algorithm