From 3f408d059c4aa8f13a68f752c19ef50aadf170be Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Fri, 6 Aug 2021 15:43:32 +0200
Subject: [PATCH] allow boundedUntilFormulas in rpatl

---
 src/storm/logic/FragmentSpecification.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm/logic/FragmentSpecification.cpp b/src/storm/logic/FragmentSpecification.cpp
index 2272ef61f..2c4f74155 100644
--- a/src/storm/logic/FragmentSpecification.cpp
+++ b/src/storm/logic/FragmentSpecification.cpp
@@ -110,6 +110,9 @@ namespace storm {
             rpatl.setGloballyFormulasAllowed(true);
             rpatl.setNextFormulasAllowed(true);
             rpatl.setBoundedGloballyFormulasAllowed(true);
+            rpatl.setBoundedUntilFormulasAllowed(true);
+            rpatl.setStepBoundedUntilFormulasAllowed(true);
+            rpatl.setTimeBoundedUntilFormulasAllowed(true);
 
             return rpatl;
         }