diff options
author | Damien George <damien.p.george@gmail.com> | 2015-01-20 12:47:20 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2015-01-20 12:47:20 +0000 |
commit | ff8dd3f486afb0d6ff1427d8a6a8a8ed73baa660 (patch) | |
tree | 16b54a843a312757976e15f24f413e00e151fbe2 /py/objset.c | |
parent | 50912e7f5dc579fd2917537046793dfa30decadf (diff) |
py, unix: Allow to compile with -Wunused-parameter.
See issue #699.
Diffstat (limited to 'py/objset.c')
-rw-r--r-- | py/objset.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/py/objset.c b/py/objset.c index 54009a1f5..23acf831a 100644 --- a/py/objset.c +++ b/py/objset.c @@ -80,6 +80,7 @@ STATIC void check_set(mp_obj_t o) { } STATIC void set_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) { + (void)kind; mp_obj_set_t *self = self_in; #if MICROPY_PY_BUILTINS_FROZENSET bool is_frozen = MP_OBJ_IS_TYPE(self_in, &mp_type_frozenset); |