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 /py/objint.c | |
| parent | b7d6ee9b75650bd0ac36e89077d5d08a3eed9e3f (diff) | |
all: Remove unnecessary locals_dict cast.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'py/objint.c')
| -rw-r--r-- | py/objint.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/objint.c b/py/objint.c index d7a3f9eb9..f06bc441f 100644 --- a/py/objint.c +++ b/py/objint.c @@ -465,5 +465,5 @@ MP_DEFINE_CONST_OBJ_TYPE( print, mp_obj_int_print, unary_op, mp_obj_int_unary_op, binary_op, mp_obj_int_binary_op, - locals_dict, (mp_obj_dict_t *)&int_locals_dict + locals_dict, &int_locals_dict ); |