diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:04:00 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:04:00 +0200 |
| commit | 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb (patch) | |
| tree | 122faba06273ae0450a2994e22bad42202f11da7 /tools/tool.h | |
| parent | f6efc882a279cddb624fe2f2470797561a6997b8 (diff) | |
| download | nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.tar.gz nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.zip | |
Added DRFIN solver
Diffstat (limited to '')
| -rw-r--r-- | tools/tool.h | 1 |
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( | |||
| 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); |