From 474039de7af2cee7fa309e06a5c4e75b81f220ad Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 31 Jul 2025 13:41:29 +0200
Subject: Fixed table name in tools

---
 tools/tool.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/tool.h')

diff --git a/tools/tool.h b/tools/tool.h
index 9c55d2b..8c04eb0 100644
--- a/tools/tool.h
+++ b/tools/tool.h
@@ -80,6 +80,7 @@ generatetable(
 		printf("Error getting table size.\n");
 		return -1;
 	}
+printf("In generatetable %s\n", dataid);
 
 	*buf = malloc(size);
 	gensize = nissy_gendata(solver, size, *buf);
@@ -157,7 +158,6 @@ gendata_run(
 		printf("Succesfully generated %lld bytes. "
 		       "See above for details on the tables.\n", size);
 
-		/* TODO: check that the table is correct */
 		writetable(buf, size, filename);
 		break;
 	}
-- 
cgit v1.3