diff options
author | John R. Lenton <jlenton@gmail.com> | 2014-01-12 16:39:39 +0000 |
---|---|---|
committer | John R. Lenton <jlenton@gmail.com> | 2014-01-12 16:39:39 +0000 |
commit | 2a24172cdcdb5286c48afd6cf726548848e4840f (patch) | |
tree | 39c4569057613c7c157f94ac36d7329b7bf3e4f8 /py/map.h | |
parent | 3b0bd87906eb301ebfe6588773ebfe07b0509ad8 (diff) |
Implemented set.discard
Diffstat (limited to 'py/map.h')
-rw-r--r-- | py/map.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,5 +31,5 @@ mp_map_elem_t* mp_map_lookup(mp_map_t *map, mp_obj_t index, mp_map_lookup_kind_t void mp_map_clear(mp_map_t *map); void mp_set_init(mp_set_t *set, int n); -mp_obj_t mp_set_lookup(mp_set_t *set, mp_obj_t index, bool add_if_not_found); +mp_obj_t mp_set_lookup(mp_set_t *set, mp_obj_t index, mp_map_lookup_kind_t lookup_kind); void mp_set_clear(mp_set_t *set); |