Always use unsigned char * for data buffers

Before this commit I was inconsistently using one of void *, char *
and uint8_t *.

1 files changed, 2 insertions, 1 deletions

diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index 470fe9b..cd7fb0f 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -8,7 +8,8 @@ static void
 run(void) {
         int64_t size;
         bool consistent, expected;
-        char *buf, filename[1024], dataid[NISSY_SIZE_DATAID];
+        char filename[1024], dataid[NISSY_SIZE_DATAID];
+        unsigned char *buf;
         
         size = generatetable(solver, &buf, dataid);
         switch (size) {