From d065dbac8399ceff69e46d3c5d9853f762e18104 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 26 Feb 2017 22:27:29 +0100 Subject: [PATCH] Renaming FormulaLTL -> Formula_rsLTL --- formula_ltl.py => formula_rsltl.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename formula_ltl.py => formula_rsltl.py (100%) diff --git a/formula_ltl.py b/formula_rsltl.py similarity index 100% rename from formula_ltl.py rename to formula_rsltl.py