diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-05-28 13:54:56 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-05-28 13:54:56 +0000 |
| commit | 2cae0f62908812b6cd925943ee70e7e0bef0387e (patch) | |
| tree | 5cdd629da6bb35ca1c3dfa8a9d9903548804f70d /py/mpprint.h | |
| parent | 78744c4f7a368e74e8aff81320a8e1bb3265346e (diff) | |
py: Reduce size of mp_printf by eliminating unnecessary code.
Saves around 120 bytes on Thumb2 archs.
Diffstat (limited to 'py/mpprint.h')
| -rw-r--r-- | py/mpprint.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/py/mpprint.h b/py/mpprint.h index de497ce90..ceea3b978 100644 --- a/py/mpprint.h +++ b/py/mpprint.h @@ -57,7 +57,6 @@ extern const mp_print_t mp_sys_stdout_print; int mp_print_str(const mp_print_t *print, const char *str); int mp_print_strn(const mp_print_t *print, const char *str, mp_uint_t len, int flags, char fill, int width); -int mp_print_int(const mp_print_t *print, mp_uint_t x, int sgn, int base, int base_char, int flags, char fill, int width); #if MICROPY_PY_BUILTINS_FLOAT int mp_print_float(const mp_print_t *print, mp_float_t f, char fmt, int flags, char fill, int width, int prec); #endif |