diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-06 19:50:57 -0800 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-06 19:50:57 -0800 |
commit | 0fb4442a8208ccc36067db034c12a840095c0911 (patch) | |
tree | 7fb02a5678455845c04689976de230cad2d96f1c /src/sat/satoko/watch_list.h | |
parent | cac3967b52ae44fae3962ee9eba456221e0efda3 (diff) | |
download | abc-0fb4442a8208ccc36067db034c12a840095c0911.tar.gz abc-0fb4442a8208ccc36067db034c12a840095c0911.tar.bz2 abc-0fb4442a8208ccc36067db034c12a840095c0911.zip |
Small changes to support old compilers.
Diffstat (limited to 'src/sat/satoko/watch_list.h')
-rw-r--r-- | src/sat/satoko/watch_list.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sat/satoko/watch_list.h b/src/sat/satoko/watch_list.h index f492904a..ef1c1a07 100644 --- a/src/sat/satoko/watch_list.h +++ b/src/sat/satoko/watch_list.h @@ -113,7 +113,8 @@ static inline vec_wl_t *vec_wl_alloc(unsigned cap) static inline void vec_wl_free(vec_wl_t *vec_wl) { - for (unsigned i = 0; i < vec_wl->size; i++) + unsigned i; + for (i = 0; i < vec_wl->size; i++) watch_list_free(vec_wl->watch_lists + i); satoko_free(vec_wl->watch_lists); satoko_free(vec_wl); |