From 47b34171f237876d90434f026248b8b86d62cb3d Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Wed, 16 Apr 2014 18:46:31 +0200
Subject: [PATCH] Fixed a typo.

Former-commit-id: b5a3026aa999adbbb6d9c268d4cabed79e39aedd
---
 src/utility/graph.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.