From c896e6a3eed41431c4d14620619dafa446921783 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 30 Mar 2017 18:08:21 +0200
Subject: [PATCH] Fixed usage of  storm namespace

---
 src/storage/model.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storage/model.cpp b/src/storage/model.cpp
index 352601c..41b4610 100644
--- a/src/storage/model.cpp
+++ b/src/storage/model.cpp
@@ -17,7 +17,7 @@ template<typename ValueType> using Dtmc = storm::models::sparse::Dtmc<ValueType>
 template<typename ValueType> using Mdp = storm::models::sparse::Mdp<ValueType>;
 template<typename ValueType> using Model = storm::models::sparse::Model<ValueType>;
 template<typename ValueType> using SparseMatrix = storm::storage::SparseMatrix<ValueType>;
-using RationalFunction = RationalFunction;
+using RationalFunction = storm::RationalFunction;
 
 // Thin wrapper for getting initial states
 template<typename ValueType>
@@ -36,11 +36,11 @@ SparseMatrix<ValueType>& getTransitionMatrix(Model<ValueType>& model) {
 }
 
 // requires pycarl.Variable
-std::set<RationalFunctionVariable> probabilityVariables(Model<RationalFunction> const& model) {
+std::set<storm::RationalFunctionVariable> probabilityVariables(Model<RationalFunction> const& model) {
     return storm::models::sparse::getProbabilityParameters(model);
 }
 
-std::set<RationalFunctionVariable> rewardVariables(Model<RationalFunction> const& model) {
+std::set<storm::RationalFunctionVariable> rewardVariables(Model<RationalFunction> const& model) {
     return storm::models::sparse::getRewardParameters(model);
 }