From d93c6a0c26f58540a47b981688e75d04c3cca614 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 9 Nov 2017 17:20:12 +0100
Subject: [PATCH] Removed restriction to DTMCs in gatherDerivatives

---
 src/pars/pla.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pars/pla.cpp b/src/pars/pla.cpp
index 3680242..0ecd192 100644
--- a/src/pars/pla.cpp
+++ b/src/pars/pla.cpp
@@ -20,7 +20,7 @@ storm::RationalFunction getBound(std::shared_ptr<RegionModelChecker>& checker, R
 }
 
 
-std::set<storm::Polynomial> gatherDerivatives(storm::models::sparse::Dtmc<storm::RationalFunction> const& model, carl::Variable const& var) {
+std::set<storm::Polynomial> gatherDerivatives(storm::models::sparse::Model<storm::RationalFunction> const& model, carl::Variable const& var) {
     std::set<storm::Polynomial> derivatives;
     for (auto it : model.getTransitionMatrix()) {
         storm::Polynomial pol = it.getValue().derivative(var, 1).nominator();