summaryrefslogtreecommitdiffstats
path: root/src/sat/satoko/watch_list.h
diff options
context:
space:
mode:
authorBruno Schmitt <bruno@oschmitt.com>2017-02-06 19:50:57 -0800
committerBruno Schmitt <bruno@oschmitt.com>2017-02-06 19:50:57 -0800
commit0fb4442a8208ccc36067db034c12a840095c0911 (patch)
tree7fb02a5678455845c04689976de230cad2d96f1c /src/sat/satoko/watch_list.h
parentcac3967b52ae44fae3962ee9eba456221e0efda3 (diff)
downloadabc-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.h3
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);