diff options
| author | stijn <stijn@ignitron.net> | 2018-09-10 09:04:16 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-09-11 00:38:31 +1000 |
| commit | 89516b2b62faa1a75f4f6ff0fa1ab362aa193013 (patch) | |
| tree | 981a7e4fdf851ba208e53ed6e365fd896f66805c /py | |
| parent | 5615273bb08b706bb6f5cecf6682bf3ddcee5b67 (diff) | |
py/runtime: Fix incorrect test for MICROPY_PORT_DEINIT_FUNC.
Diffstat (limited to 'py')
| -rw-r--r-- | py/runtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/runtime.c b/py/runtime.c index ee3c2b222..d58d95a3b 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -133,7 +133,7 @@ void mp_deinit(void) { //mp_map_deinit(&MP_STATE_VM(mp_loaded_modules_map)); // call port specific deinitialization if any -#ifdef MICROPY_PORT_INIT_FUNC +#ifdef MICROPY_PORT_DEINIT_FUNC MICROPY_PORT_DEINIT_FUNC; #endif } |