From 63933637ac36150c9729efa998d64501f484f683 Mon Sep 17 00:00:00 2001 From: PBerger Date: Sun, 2 Mar 2014 17:45:32 +0100 Subject: [PATCH] Fixed a bug in the SparseMatrix.cpp. When using TBB the typename is not permitted. Former-commit-id: e191c14e1d19a9403eb25928949992e6cfeb0a00 --- src/storage/SparseMatrix.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/storage/SparseMatrix.cpp b/src/storage/SparseMatrix.cpp index 949e64eb3..0f8d0acfa 100644 --- a/src/storage/SparseMatrix.cpp +++ b/src/storage/SparseMatrix.cpp @@ -726,10 +726,10 @@ namespace storm { uint_fast64_t endRow = range.end(); const_iterator it = this->begin(startRow); const_iterator ite; - typename std::vector::const_iterator rowIterator = this->rowIndications.begin() + startRow; - typename std::vector::const_iterator rowIteratorEnd = this->rowIndications.begin() + endRow; - typename std::vector::iterator resultIterator = result.begin() + startRow; - typename std::vector::iterator resultIteratorEnd = result.begin() + endRow; + std::vector::const_iterator rowIterator = this->rowIndications.begin() + startRow; + std::vector::const_iterator rowIteratorEnd = this->rowIndications.begin() + endRow; + std::vector::iterator resultIterator = result.begin() + startRow; + std::vector::iterator resultIteratorEnd = result.begin() + endRow; for (; resultIterator != resultIteratorEnd; ++rowIterator, ++resultIterator) { *resultIterator = storm::utility::constantZero();