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()) {