2 files changed, 2 insertions, 2 deletions

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);