From 0701381897adfbf3d4a70247884df7f13d775063 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89milie=20Feral?= <emilie.feral@numworks.com>
Date: Fri, 21 Sep 2018 17:48:41 +0200
Subject: [PATCH] [ion] Clean warning due to unused variable

---
 ion/src/shared/platform_info.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ion/src/shared/platform_info.cpp b/ion/src/shared/platform_info.cpp
index ce5fc060c..135a6ca81 100644
--- a/ion/src/shared/platform_info.cpp
+++ b/ion/src/shared/platform_info.cpp
@@ -29,12 +29,14 @@ public:
     m_footer(Magic) { }
   const char * version() const {
     assert(m_storageAddress != nullptr);
+    assert(m_storageSize != 0);
     assert(m_header == Magic);
     assert(m_footer == Magic);
     return m_version;
   }
   const char * patchLevel() const {
     assert(m_storageAddress != nullptr);
+    assert(m_storageSize != 0);
     assert(m_header == Magic);
     assert(m_footer == Magic);
     return m_patchLevel;