From e4f356b9592599ad91aac34bf2265c9bcdfbb81f Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 8 Apr 2025 15:16:21 +0200 Subject: Some minor changes to the interface. - Simplified logger to accept only a string, not a variadic list of args like printf(). This can still use some improvement, but now it is easier to use from other languages. - Fixed some misuses of the logger (wrong types etc) - Renamed some constants - Fixed some typos in comments. --- tools/000_gendata/gendata.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/000_gendata') diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c index 51c2f47..f2ac1a0 100644 --- a/tools/000_gendata/gendata.c +++ b/tools/000_gendata/gendata.c @@ -8,7 +8,7 @@ static void run(void) { int64_t size; bool consistent, expected; - char *buf, filename[1024], dataid[NISSY_DATAID_SIZE]; + char *buf, filename[1024], dataid[NISSY_SIZE_DATAID]; size = generatetable(solver, &buf, dataid); switch (size) { -- cgit v1.3