From fe5cd4db86487aeac5c954a4d8bce5af8ebd42ad Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 27 Feb 2020 22:27:33 +0100 Subject: [PATCH] Fixed missing ; --- src/storm/storage/StronglyConnectedComponentDecomposition.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/storage/StronglyConnectedComponentDecomposition.cpp b/src/storm/storage/StronglyConnectedComponentDecomposition.cpp index 5b82cd7ca..2acbe742d 100644 --- a/src/storm/storage/StronglyConnectedComponentDecomposition.cpp +++ b/src/storm/storage/StronglyConnectedComponentDecomposition.cpp @@ -69,7 +69,7 @@ namespace storm { // The forceTopologicalSort flag can be ignored as this method always generates a topological sort. // Prepare the stack used for turning the recursive procedure into an iterative one. - STORM_LOG_ASSERT(recursionStateStack.empty(), "Expected an empty recursion stack.") + STORM_LOG_ASSERT(recursionStateStack.empty(), "Expected an empty recursion stack."); recursionStateStack.push_back(startState); while (!recursionStateStack.empty()) {