From 4d4cd6e7f4b873fec826b143b095cf1d0944178c Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Wed, 16 Dec 2020 11:04:55 +0100
Subject: [PATCH] rpatl extends prctl

---
 src/storm/logic/FragmentSpecification.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/logic/FragmentSpecification.cpp b/src/storm/logic/FragmentSpecification.cpp
index 898b9f626..6aa73cd5b 100644
--- a/src/storm/logic/FragmentSpecification.cpp
+++ b/src/storm/logic/FragmentSpecification.cpp
@@ -54,7 +54,7 @@ namespace storm {
         }
 
         FragmentSpecification rpatl() {
-            FragmentSpecification rpatl = pctl();
+            FragmentSpecification rpatl = prctl();
 
             // TODO disallow operator we currently do not support
             rpatl.setCoalitionOperatorsAllowed(true);