diff --git a/src/storm/builder/ExplicitModelBuilder.h b/src/storm/builder/ExplicitModelBuilder.h index 501111673..ef5da691b 100644 --- a/src/storm/builder/ExplicitModelBuilder.h +++ b/src/storm/builder/ExplicitModelBuilder.h @@ -43,7 +43,7 @@ namespace storm { using namespace storm::generator; // Forward-declare classes. - template struct RewardModelBuilder; + template class RewardModelBuilder; class ChoiceInformationBuilder; template, typename StateType = uint32_t> diff --git a/src/storm/generator/Choice.cpp b/src/storm/generator/Choice.cpp index cfa9cec9d..be5f597da 100644 --- a/src/storm/generator/Choice.cpp +++ b/src/storm/generator/Choice.cpp @@ -174,11 +174,11 @@ namespace storm { return out; } - template class Choice; + template struct Choice; #ifdef STORM_HAVE_CARL - template class Choice; - template class Choice; + template struct Choice; + template struct Choice; #endif } }