diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-19 15:34:21 -0800 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-19 15:34:21 -0800 |
commit | 68dd7806355a423af3ea400ab7c605bd3bf566d3 (patch) | |
tree | 8a46e2e3a88497e07bfba8caf7d0fe231eeba3c8 /src/sat/satoko/utils | |
parent | 99fe7dfe2906cafad8fafc104b23e6ec8416ce4e (diff) | |
download | abc-68dd7806355a423af3ea400ab7c605bd3bf566d3.tar.gz abc-68dd7806355a423af3ea400ab7c605bd3bf566d3.tar.bz2 abc-68dd7806355a423af3ea400ab7c605bd3bf566d3.zip |
Adding new command to reset Satoko.
Small fixes in watching list data structure.
Diffstat (limited to 'src/sat/satoko/utils')
-rw-r--r-- | src/sat/satoko/utils/heap.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/sat/satoko/utils/heap.h b/src/sat/satoko/utils/heap.h index 8b1d8f4b..391b8a7e 100644 --- a/src/sat/satoko/utils/heap.h +++ b/src/sat/satoko/utils/heap.h @@ -158,10 +158,7 @@ static inline void heap_build(heap_t *p, vec_uint_t *entries) static inline void heap_clear(heap_t *p) { - unsigned i; - int entry; - vec_int_foreach(p->indices, entry, i) - vec_int_assign(p->indices, i, -1); + vec_int_clear(p->indices); vec_uint_clear(p->data); } |