From e99e7262a1d2d303ed20ff3084b79875435185e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franz=20P=C3=B6schel?= Date: Tue, 23 May 2023 16:08:57 +0200 Subject: [PATCH] CI fix: unused variable --- src/IO/JSON/JSONIOHandlerImpl.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/IO/JSON/JSONIOHandlerImpl.cpp b/src/IO/JSON/JSONIOHandlerImpl.cpp index d3280a9994..1f0cc0344a 100644 --- a/src/IO/JSON/JSONIOHandlerImpl.cpp +++ b/src/IO/JSON/JSONIOHandlerImpl.cpp @@ -1244,6 +1244,7 @@ std::shared_ptr JSONIOHandlerImpl::obtainJsonContents(File file) } // read from file auto [fh, fh_with_precision, _] = getFilehandle(file, Access::READ_ONLY); + (void)_; std::shared_ptr res = std::make_shared(); switch (m_fileFormat) { @@ -1280,6 +1281,7 @@ void JSONIOHandlerImpl::putJsonContents( { auto [fh, _, fh_with_precision] = getFilehandle(filename, Access::CREATE); + (void)_; (*it->second)["platform_byte_widths"] = platformSpecifics(); switch (m_fileFormat)