1 files changed, 0 insertions, 1 deletions
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);

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(
80	printf("Error getting table size.\n");	80	printf("Error getting table size.\n");
81	return -1;	81	return -1;
82	}	82	}
83	printf("In generatetable %s\n", dataid);
84		83
85	*buf = malloc(size);	84	*buf = malloc(size);
86	gensize = nissy_gendata(solver, size, *buf);	85	gensize = nissy_gendata(solver, size, *buf);