diff options
Diffstat (limited to 'src/sat/satoko/utils')
-rw-r--r-- | src/sat/satoko/utils/b_queue.h | 4 | ||||
-rwxr-xr-x | src/sat/satoko/utils/misc.h | 2 | ||||
-rw-r--r-- | src/sat/satoko/utils/vec/vec_char.h | 3 |
3 files changed, 4 insertions, 5 deletions
diff --git a/src/sat/satoko/utils/b_queue.h b/src/sat/satoko/utils/b_queue.h index 926edf29..b9b62676 100644 --- a/src/sat/satoko/utils/b_queue.h +++ b/src/sat/satoko/utils/b_queue.h @@ -21,7 +21,7 @@ struct b_queue_t_ { unsigned cap; unsigned i_first; unsigned i_empty; - unsigned long long sum; + unsigned long sum; unsigned *data; }; @@ -61,7 +61,7 @@ static inline void b_queue_push(b_queue_t *p, unsigned Value) static inline unsigned b_queue_avg(b_queue_t *p) { - return (unsigned)(p->sum / ((unsigned long long) p->size)); + return (unsigned)(p->sum / ((unsigned long) p->size)); } static inline unsigned b_queue_is_valid(b_queue_t *p) diff --git a/src/sat/satoko/utils/misc.h b/src/sat/satoko/utils/misc.h index aa8bcb8c..481e23b7 100755 --- a/src/sat/satoko/utils/misc.h +++ b/src/sat/satoko/utils/misc.h @@ -9,8 +9,6 @@ #ifndef satoko__utils__misc_h #define satoko__utils__misc_h -#include <stdint.h> - #include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START diff --git a/src/sat/satoko/utils/vec/vec_char.h b/src/sat/satoko/utils/vec/vec_char.h index fe88797a..7d5732ec 100644 --- a/src/sat/satoko/utils/vec/vec_char.h +++ b/src/sat/satoko/utils/vec/vec_char.h @@ -248,9 +248,10 @@ static inline long vec_char_memory(vec_char_t *p) static inline void vec_char_print(vec_char_t* p) { + unsigned i; assert(p != NULL); fprintf(stdout, "Vector has %u(%u) entries: {", p->size, p->cap); - for (unsigned i = 0; i < p->size; i++) + for (i = 0; i < p->size; i++) fprintf(stdout, " %d", p->data[i]); fprintf(stdout, " }\n"); } |