From 0433469b9e48cfe62e020fc613bf743c2ba55096 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 13 Mar 2020 18:20:23 +0100
Subject: [PATCH] Added missing template instantiation.

---
 src/storm-parsers/parser/JaniParser.cpp | 1 +
 src/storm-parsers/parser/JaniParser.h   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm-parsers/parser/JaniParser.cpp b/src/storm-parsers/parser/JaniParser.cpp
index 0ae23368f..6400818fe 100644
--- a/src/storm-parsers/parser/JaniParser.cpp
+++ b/src/storm-parsers/parser/JaniParser.cpp
@@ -1603,5 +1603,6 @@ namespace storm {
         }
         
         template class JaniParser<double>;
+        template class JaniParser<storm::RationalNumber>;
     }
 }
diff --git a/src/storm-parsers/parser/JaniParser.h b/src/storm-parsers/parser/JaniParser.h
index 78d364b45..2133f464f 100644
--- a/src/storm-parsers/parser/JaniParser.h
+++ b/src/storm-parsers/parser/JaniParser.h
@@ -112,7 +112,7 @@ namespace storm {
             /**
              * The overall structure currently under inspection.
              */
-            storm::json<double> parsedStructure;
+            storm::json<ValueType> parsedStructure;
             /**
              * The expression manager to be used.
              */