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; + template class JaniParser; } } 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 parsedStructure; + storm::json parsedStructure; /** * The expression manager to be used. */