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");
 }