From 18497b30b040747354d7b6764447bc9ee880e269 Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Fri, 27 Aug 2021 15:09:12 +0200
Subject: [PATCH] added line below for postShield files (analogue to preShield
 files)

---
 src/storm/storage/PostScheduler.cpp | 1 +
 1 file changed, 1 insertion(+)

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>;