diff --git a/src/utility/graph.h b/src/utility/graph.h index f6fb06c3c..e9757d50e 100644 --- a/src/utility/graph.h +++ b/src/utility/graph.h @@ -49,7 +49,7 @@ namespace storm { // Prepare the resulting bit vector. storm::storage::BitVector statesWithProbabilityGreater0(model.getNumberOfStates()); - // Add all psi states as the already satisfy the condition. + // Add all psi states as they already satisfy the condition. statesWithProbabilityGreater0 |= psiStates; // Initialize the stack used for the DFS with the states.