Rename totrans to totrans.wfp

tyboro2002 · Apr 24, 2022 · 310d240 · 310d240
1 parent 9168dd4
commit 310d240
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/totrans → totrans.wfp b/totrans → totrans.wfp
@@ -40,4 +40,4 @@ if inp == "RP":
     print("WFP prog:\n" + prog)
     prog = translToRP(prog)
     print("RP prog:\n" + prog)
-    exec(prog)
+    exec(prog)