diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-05-10 10:36:38 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-05-10 10:36:38 +0100 |
| commit | 3417bc2f25c492f7551e35d14349d85a45122b43 (patch) | |
| tree | 550e4a6b5350cedd8b89ee476f53d943712c7453 /examples/micropython.py | |
| parent | 6e8085b425a9d02ac3e204651e2c9d8de9a23a85 (diff) | |
py: Rename byte_code to bytecode everywhere.
bytecode is the more widely used. See issue #590.
Diffstat (limited to 'examples/micropython.py')
| -rw-r--r-- | examples/micropython.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/micropython.py b/examples/micropython.py index 091c92deb..f91da94f4 100644 --- a/examples/micropython.py +++ b/examples/micropython.py @@ -5,4 +5,4 @@ def nodecor(x): return x -byte_code = native = viper = nodecor +bytecode = native = viper = nodecor |