Added some newlines.

src/modelchecker/GmmxxMdpPrctlModelChecker.h

@@ -68,9 +68,11 @@ private:
 		// Now perform matrix-vector multiplication as long as we meet the bound of the formula.
 		for (uint_fast64_t i = 0; i < n; ++i) {
 			gmm::mult(*gmmxxMatrix, x, multiplyResult);
+            
 			if (b != nullptr) {
 				gmm::add(*b, multiplyResult);
 			}
+            
 			if (this->minimumOperatorStack.top()) {
 				storm::utility::reduceVectorMin(multiplyResult, &x, nondeterministicChoiceIndices);
 			} else {