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