From 310d240e428719646dbd7c3b2934a146f03b6b01 Mon Sep 17 00:00:00 2001
From: tyboro2002 <97916632+tyboro2002@users.noreply.github.com>
Date: Sun, 24 Apr 2022 22:44:08 +0200
Subject: [PATCH] Rename totrans to totrans.wfp

---
 totrans => totrans.wfp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename totrans => totrans.wfp (95%)

diff --git a/totrans b/totrans.wfp
similarity index 95%
rename from totrans
rename to totrans.wfp
index 142aac4..bfe51d8 100644
--- a/totrans
+++ b/totrans.wfp
@@ -40,4 +40,4 @@ if inp == "RP":
     print("WFP prog:\n" + prog)
     prog = translToRP(prog)
     print("RP prog:\n" + prog)
-    exec(prog)
\ No newline at end of file
+    exec(prog)