From 9cc00a03a27e3afb641730749208bd3a18040dfc Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 13 Mar 2020 18:47:06 +0100
Subject: [PATCH] modernjson: Fixed compilation with GCC.

---
 resources/3rdparty/modernjson/src/json.hpp | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/resources/3rdparty/modernjson/src/json.hpp b/resources/3rdparty/modernjson/src/json.hpp
index 89f426b1a..9a18b60d6 100755
--- a/resources/3rdparty/modernjson/src/json.hpp
+++ b/resources/3rdparty/modernjson/src/json.hpp
@@ -9053,16 +9053,14 @@ Format](http://rfc7159.net/rfc7159)
 
         @return the floating point number
         */
-        template <typename FloatValueType>
-        FloatValueType str_to_float_t(FloatValueType* /* type */) const {
-            // Use std::strtod to get the position where the number ends. Then parse it as a rational Number
-            char const* strptr = reinterpret_cast<typename string_t::const_pointer>(m_start);
-            char* end_pos;
-            std::strtod(strptr, &end_pos);
-            return storm::utility::convertNumber<FloatValueType, std::string>(std::string(strptr, end_pos - strptr));
-        }
+            storm::RationalNumber str_to_float_t(storm::RationalNumber* /* type */) const {
+                // Use std::strtod to get the position where the number ends. Then parse it as a rational Number
+                char const* strptr = reinterpret_cast<typename string_t::const_pointer>(m_start);
+                char* end_pos;
+                std::strtod(strptr, &end_pos);
+                return storm::utility::convertNumber<storm::RationalNumber, std::string>(std::string(strptr, end_pos - strptr));
+            }
             
-        template <>
             long double str_to_float_t(long double* /* type */) const
             {
                 return std::strtold(reinterpret_cast<typename string_t::const_pointer>(m_start), NULL);
@@ -9080,7 +9078,6 @@ Format](http://rfc7159.net/rfc7159)
 
         @return the floating point number
         */
-        template <>
             double str_to_float_t(double* /* type */) const
             {
                 return std::strtod(reinterpret_cast<typename string_t::const_pointer>(m_start), NULL);
@@ -9099,7 +9096,6 @@ Format](http://rfc7159.net/rfc7159)
 
         @return the floating point number
         */
-        template <>
             float str_to_float_t(float* /* type */) const
             {
                 return std::strtof(reinterpret_cast<typename string_t::const_pointer>(m_start), NULL);