From 80752f55892444d20a62c457a910aa07d1ae739a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Wed, 18 May 2022 16:32:11 +0200
Subject: [PATCH] JSON output: add missing comma for paired numerical options
(cherry picked from commit 29c683c6ad35ec57fed51443d37ed9e1fc956851)
---
src/Statement.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/Statement.cc b/src/Statement.cc
index dcec5597..ee1ecadf 100644
--- a/src/Statement.cc
+++ b/src/Statement.cc
@@ -310,7 +310,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()
--
GitLab