From 3c78b0b064e4b9396b77f38f8213b7289855a1c8 Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Fri, 3 Sep 2021 08:42:35 +0200
Subject: [PATCH] renamed file to probabilisticFormula.rpatl - typo

---
 .../{probabalisticFormula.rpatl => probabilisticFormula.rpatl}    | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename resources/examples/testfiles/rpatl/{probabalisticFormula.rpatl => probabilisticFormula.rpatl} (100%)

diff --git a/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl b/resources/examples/testfiles/rpatl/probabilisticFormula.rpatl
similarity index 100%
rename from resources/examples/testfiles/rpatl/probabalisticFormula.rpatl
rename to resources/examples/testfiles/rpatl/probabilisticFormula.rpatl