From 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 5 Aug 2025 09:04:00 +0200 Subject: Added DRFIN solver --- tools/tool.h | 1 - 1 file changed, 1 deletion(-) (limited to 'tools/tool.h') 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