Add main block back to Repl.py

Contra d2edf150cf2c876971383a4a484f289ce7e7f680, this module is the one place
that I do need the stupid __main__ thing.

1 files changed, 4 insertions, 0 deletions

diff --git a/Omni/Repl.py b/Omni/Repl.py
index cad04b5..8d191e2 100755
--- a/Omni/Repl.py
+++ b/Omni/Repl.py
@@ -260,3 +260,7 @@ def main() -> None:
         test()
     else:
         move()
+
+
+if __name__ == "__main__":
+    main()