From 1cdfb6b5d41d21fe5a8caac680c7cca1d68e8c49 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Wed, 20 Jan 2021 10:42:49 +0100
Subject: [PATCH] allowing reachability prob formulas 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 96cbaf181..836b020aa 100644
--- a/src/storm/logic/FragmentSpecification.cpp
+++ b/src/storm/logic/FragmentSpecification.cpp
@@ -63,6 +63,9 @@ namespace storm {
             rpatl.setLongRunAverageRewardFormulasAllowed(true);
             rpatl.setLongRunAverageOperatorsAllowed(true);
 
+            rpatl.setProbabilityOperatorsAllowed(true);
+            rpatl.setReachabilityProbabilityFormulasAllowed(true);
+
             return rpatl;
         }