From b0b0623fcfe7caf740006b6e85fb14bd8d59556a Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Tue, 28 Aug 2018 12:52:30 +0200
Subject: [PATCH] Add matrix declaration

---
 src/storm-pars-cli/storm-pars.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp
index fd7fd0988..96b13e6e0 100644
--- a/src/storm-pars-cli/storm-pars.cpp
+++ b/src/storm-pars-cli/storm-pars.cpp
@@ -619,6 +619,7 @@ namespace storm {
                 myfile.close();
 
                 // Monotonicity?
+                auto matrix = sparseModel.get()->getTransitionMatrix();
                 storm::utility::Stopwatch monotonicityWatch(true);
                 std::map<carl::Variable, std::pair<bool, bool>> varsMonotone = analyseMonotonicity<ValueType>(lattice, matrix);
                 monotonicityWatch.stop();