1 files changed, 1 insertions, 1 deletions

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