diff options
Diffstat (limited to 'Tools/wasm/wasi.py')
| -rw-r--r-- | Tools/wasm/wasi.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/wasm/wasi.py b/Tools/wasm/wasi.py index c0f7ccd51aa..b49b27cbbbe 100644 --- a/Tools/wasm/wasi.py +++ b/Tools/wasm/wasi.py @@ -3,7 +3,7 @@ if __name__ == "__main__": import runpy import sys - print("⚠️ WARNING: This script is deprecated and slated for removal in Python 3.19; " + print("⚠️ WARNING: This script is deprecated and slated for removal in Python 3.20; " "execute the `wasi/` directory instead (i.e. `python Tools/wasm/wasi`)\n", file=sys.stderr) |