diff options
author | Damien George <damien.p.george@gmail.com> | 2015-02-27 09:34:51 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2015-02-27 09:34:51 +0000 |
commit | 4d77e1a0344aa22964b4db5a71181183431e9a53 (patch) | |
tree | e10ae14943938d6a847bc2b5c2dac79a19c91a10 /py/objint.c | |
parent | eb0a7129a5f795aa8277b3e754b35b467e609ae1 (diff) |
py: Use m_{new,renew,del} consistently.
This is so all memory requests go through the same interface.
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 4a4a21aaf..0fb2a3826 100644 --- a/py/objint.c +++ b/py/objint.c @@ -137,7 +137,7 @@ void mp_obj_int_print(void (*print)(void *env, const char *fmt, ...), void *env, print(env, "%s", str); if (buf != stack_buf) { - m_free(buf, buf_size); + m_del(char, buf, buf_size); } } |