From 8ca5ac176e20aea3d69b246825ffeaf83a33f84d Mon Sep 17 00:00:00 2001 From: sjunges Date: Tue, 8 Apr 2014 16:45:50 +0200 Subject: [PATCH] fixed spelling in comment: breath-first search Former-commit-id: 21e719734b44e71932e762270db29c5b87d1794e --- 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 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. *