diff options
author | Yonatan Goldschmidt <yon.goldschmidt@gmail.com> | 2019-12-25 09:22:40 +0200 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2019-12-28 00:08:31 +1100 |
commit | b2e4a57289d17d6d4377880c5fc143b3d51f3678 (patch) | |
tree | 4d6e77a9c2cd40d2d6db7a635edb9d7d746d797b | |
parent | 61d2b40ad56243585ac2bebef67aff10d4c5583c (diff) |
nrf/main: Remove unnecessary repl_info(0) call.
It's statically initialized to 0.
-rw-r--r-- | ports/nrf/main.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ports/nrf/main.c b/ports/nrf/main.c index 9ffe7a285..af5991281 100644 --- a/ports/nrf/main.c +++ b/ports/nrf/main.c @@ -121,8 +121,6 @@ soft_reset: mp_obj_list_append(mp_sys_path, MP_OBJ_NEW_QSTR(MP_QSTR_)); // current dir (or base dir of the script) mp_obj_list_init(mp_sys_argv, 0); - pyb_set_repl_info(MP_OBJ_NEW_SMALL_INT(0)); - readline_init0(); |