From 48d006ec8d29cedcef092592e55316ebb99f1a05 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 4 Apr 2014 16:55:06 +0200
Subject: [PATCH] minor
Former-commit-id: 5bff182fcfe884878495d5b52cf00c19c4d5d191
---
src/models/Dtmc.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/models/Dtmc.h b/src/models/Dtmc.h
index b599774f9..8307aa259 100644
--- a/src/models/Dtmc.h
+++ b/src/models/Dtmc.h
@@ -21,6 +21,7 @@
#include "src/utility/vector.h"
#include "src/utility/matrix.h"
+
namespace storm {
namespace models {
@@ -306,7 +307,6 @@ private:
LOG4CPLUS_ERROR(logger, "Probability matrix is not square.");
return false;
}
-
for (uint_fast64_t row = 0; row < this->getTransitionMatrix().getRowCount(); ++row) {
T sum = this->getTransitionMatrix().getRowSum(row);