diff --git a/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl b/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl
new file mode 100644
index 000000000..1b0eed235
--- /dev/null
+++ b/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl
@@ -0,0 +1 @@
+<<player>> Pmax=? [ F "goal" ]
\ No newline at end of file