From cc958bedf06e074565d5a5a960a680af07ab5fe5 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 31 Jul 2016 11:47:43 +0200
Subject: [PATCH] fixed wrong usage of boost::variant in NextStateGenerator

Former-commit-id: 0ba0e8d565a36aef6921ee722c1868477db9511e
---
 src/generator/NextStateGenerator.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/generator/NextStateGenerator.cpp b/src/generator/NextStateGenerator.cpp
index f7cacafc2..4d2776386 100644
--- a/src/generator/NextStateGenerator.cpp
+++ b/src/generator/NextStateGenerator.cpp
@@ -30,7 +30,7 @@ namespace storm {
         }
         
         std::string const& LabelOrExpression::getLabel() const {
-            return boost::get<std::string const&>(labelOrExpression);
+            return boost::get<std::string>(labelOrExpression);
         }
         
         bool LabelOrExpression::isExpression() const {
@@ -38,7 +38,7 @@ namespace storm {
         }
         
         storm::expressions::Expression const& LabelOrExpression::getExpression() const {
-            return boost::get<storm::expressions::Expression const&>(labelOrExpression);
+            return boost::get<storm::expressions::Expression>(labelOrExpression);
         }
         
         NextStateGeneratorOptions::NextStateGeneratorOptions(bool buildAllRewardModels, bool buildAllLabels) : buildAllRewardModels(buildAllRewardModels), buildAllLabels(buildAllLabels), buildChoiceLabels(false) {