diff --git a/formula_ltl.py b/formula_rsltl.py
similarity index 100%
rename from formula_ltl.py
rename to formula_rsltl.py