Former-commit-id: 0e6ab55389
0e6ab55389
@ -139,7 +139,7 @@ namespace storm {
// Perform n matrix-vector multiplications.
for (uint64_t iteration = 0; iteration < n; ++iteration) {
eigenX *= *this->eigenA * eigenX;
eigenX = *this->eigenA * eigenX;
if (eigenB != nullptr) {
eigenX += *eigenB;
}