diff --git a/tools/warn.py b/tools/warn.py index e786e3ca9a..9cb115e1ec 100755 --- a/tools/warn.py +++ b/tools/warn.py @@ -2463,10 +2463,11 @@ scripts_for_warning_groups = """ if (FlagURL == "") return line; if (FlagSeparator == "") { return line.replace(ParseLinePattern, - "$1:$2:$3"); + "$1:$2:$3"); } return line.replace(ParseLinePattern, - "$1:$2:$3"); + "$1:$2:$3"); } function createArrayOfDictionaries(n) { var result = [];