Added missing template instantiation.

5 years ago · 0433469b9e
2 changed files with 2 additions and 1 deletions
--- 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>;
    }
 }
--- 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.
             */