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();