JSON output: add missing comma for paired numerical options

fix-tolerance-parameters
Sébastien Villemot 2022-05-18 16:32:11 +02:00
parent d64682f346
commit 29c683c6ad
No known key found for this signature in database
GPG Key ID: 2CECE9350ECEBE4A
1 changed files with 1 additions and 1 deletions

View File

@ -266,7 +266,7 @@ OptionsList::writeJsonOutput(ostream &output) const
for (auto it = paired_num_options.begin();
it != paired_num_options.end();)
{
output << R"(")"<< it->first << R"(": [)" << it->second.first << " " << it->second.second << "]";
output << R"(")"<< it->first << R"(": [)" << it->second.first << ", " << it->second.second << "]";
++it;
if (it != paired_num_options.end()
|| !(string_options.empty()