diff --git a/src/utility/graph.h b/src/utility/graph.h index 01d0a7f4f..1b0aa719e 100644 --- a/src/utility/graph.h +++ b/src/utility/graph.h @@ -33,7 +33,7 @@ namespace storm { namespace graph { /*! - * Performs a backwards breadt-first search trough the underlying graph structure + * Performs a backwards breath-first search trough the underlying graph structure * of the given model to determine which states of the model have a positive probability * of satisfying phi until psi. The resulting states are written to the given bit vector. *