diff --git a/src/storm/storage/PostScheduler.cpp b/src/storm/storage/PostScheduler.cpp
index 2e4392891..92a81b434 100644
--- a/src/storm/storage/PostScheduler.cpp
+++ b/src/storm/storage/PostScheduler.cpp
@@ -135,6 +135,7 @@ namespace storm {
                 // jump to label if we find one undefined choice.
                 skipStatesWithUndefinedChoices:;
             }
+            out << "___________________________________________________________________" << std::endl;
         }
 
         template class PostScheduler<double>;