From 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Tue, 5 Aug 2025 09:04:00 +0200
Subject: Added DRFIN solver

---
 tools/000_gendata/gendata.c | 3 ++-
 tools/tool.h                | 1 -
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index f2da890..a289925 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -21,7 +21,8 @@ run(void) {
 			sprintf(filename, "tables/%s", dataid);
 			writetable(buf, size, filename);
 		} else {
-			printf("Error: table generated incorrectly!\n");
+			printf("Error: table for %s generated incorrectly!\n",
+			    solver);
 		}
 		break;
 	}
diff --git a/tools/tool.h b/tools/tool.h
index 8c04eb0..47155c2 100644
--- a/tools/tool.h
+++ b/tools/tool.h
@@ -80,7 +80,6 @@ generatetable(
 		printf("Error getting table size.\n");
 		return -1;
 	}
-printf("In generatetable %s\n", dataid);
 
 	*buf = malloc(size);
 	gensize = nissy_gendata(solver, size, *buf);
-- 
cgit v1.3