diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-06-24 16:27:46 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-09-19 19:06:01 +1000 |
| commit | 9dce82776db104750283b213095a7aedfb95a1d9 (patch) | |
| tree | ede3b1e720059111af4d97916bbce57fcded8c1c /extmod/modwebrepl.c | |
| parent | b7d6ee9b75650bd0ac36e89077d5d08a3eed9e3f (diff) | |
all: Remove unnecessary locals_dict cast.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'extmod/modwebrepl.c')
| -rw-r--r-- | extmod/modwebrepl.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extmod/modwebrepl.c b/extmod/modwebrepl.c index cb893b38d..fc5ca35ea 100644 --- a/extmod/modwebrepl.c +++ b/extmod/modwebrepl.c @@ -348,7 +348,7 @@ STATIC MP_DEFINE_CONST_OBJ_TYPE( MP_TYPE_FLAG_NONE, webrepl_make_new, protocol, &webrepl_stream_p, - locals_dict, (mp_obj_dict_t *)&webrepl_locals_dict + locals_dict, &webrepl_locals_dict ); STATIC const mp_rom_map_elem_t webrepl_module_globals_table[] = { |