From b9297fa51326afda33be310acb7215bd9caad48d Mon Sep 17 00:00:00 2001
From: ThomasH <thomas.henn@rwth-aachen.de>
Date: Sun, 7 Aug 2016 00:40:16 +0200
Subject: [PATCH] fix bug

Former-commit-id: 6f2bb74491577c24100c1e6d6fb1b0c64170e126
---
 src/builder/ExplicitGspnModelBuilder.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/builder/ExplicitGspnModelBuilder.cpp b/src/builder/ExplicitGspnModelBuilder.cpp
index ac82e5498..a58252373 100644
--- a/src/builder/ExplicitGspnModelBuilder.cpp
+++ b/src/builder/ExplicitGspnModelBuilder.cpp
@@ -66,7 +66,7 @@ namespace storm {
 
                         addRowForTimedTransitions(enabledTimedTransitions, currentMarking, accRate);
                     } else {
-                        markovianStates.set(currentRowIndex, 0);
+                        markovianStates.set(currentRowIndex, 1);
                     }
                 }
                 ++currentRowIndex;
@@ -110,6 +110,8 @@ namespace storm {
 
             }
 
+            std::cout << "print matrix:" << std::endl;
+            std::cout << matrix << std::endl;
             //auto labeling = getStateLabeling();
 
             return storm::models::sparse::MarkovAutomaton<double>(matrix, labeling, markovianStates, exitRates);