Fix broken python3 -m cwhy (#41)

Previously, `python3 -m cwhy` did nothing, while `cwhy` worked. Now, they both work.
plasma-umass · Oct 26, 2023 · a1c859d · a1c859d
1 parent 8137525
commit a1c859d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/cwhy/__main__.py b/src/cwhy/__main__.py
@@ -103,3 +103,6 @@ def main():
         stdin = sys.stdin.read()
         if stdin:
             print(cwhy.evaluate(args, stdin))
+
+if __name__ == "__main__":
+    main()