From 510a7471348788fccba6b7c4b9f7b7cc9aee6ba9 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 21 Apr 2025 14:33:01 +0200 Subject: Always use unsigned char * for data buffers Before this commit I was inconsistently using one of void *, char * and uint8_t *. --- tools/000_gendata/gendata.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools/000_gendata') 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) { -- cgit v1.3