From c03c5fceb7764d503c7ba94fa56e9a12b7d6c861 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 22 Jul 2017 19:48:51 +0200
Subject: [PATCH] fixed warnings related to the mixed use of struct/class

---
 src/storm/builder/ExplicitModelBuilder.h | 2 +-
 src/storm/generator/Choice.cpp           | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

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 <typename ValueType> struct RewardModelBuilder;
+        template <typename ValueType> class RewardModelBuilder;
         class ChoiceInformationBuilder;
         
         template<typename ValueType, typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>, 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<double>;
+        template struct Choice<double>;
 
 #ifdef STORM_HAVE_CARL
-        template class Choice<storm::RationalNumber>;
-        template class Choice<storm::RationalFunction>;
+        template struct Choice<storm::RationalNumber>;
+        template struct Choice<storm::RationalFunction>;
 #endif
     }
 }