From adf07416dc7bb98394d7cb62ad3985c826c48dc0 Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Thu, 25 Jul 2019 12:43:04 +0200
Subject: [PATCH] Added preservation of time bounded until formulae

---
 src/storm/transformer/NonMarkovianChainTransformer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/transformer/NonMarkovianChainTransformer.cpp b/src/storm/transformer/NonMarkovianChainTransformer.cpp
index 34254af39..3170698c9 100644
--- a/src/storm/transformer/NonMarkovianChainTransformer.cpp
+++ b/src/storm/transformer/NonMarkovianChainTransformer.cpp
@@ -256,6 +256,7 @@ namespace storm {
             fragment.setGloballyFormulasAllowed(true);
             fragment.setReachabilityProbabilityFormulasAllowed(true);
             fragment.setUntilFormulasAllowed(true);
+            fragment.setTimeBoundedUntilFormulasAllowed(true);
 
             return formula.isInFragment(fragment);
         }