diff options
Diffstat (limited to 'tools/300_solve_small/solve_small.c')
| -rw-r--r-- | tools/300_solve_small/solve_small.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c index 073de89..6a1f7b5 100644 --- a/tools/300_solve_small/solve_small.c +++ b/tools/300_solve_small/solve_small.c | |||
| @@ -46,7 +46,7 @@ void run(void) { | |||
| 46 | } | 46 | } |
| 47 | 47 | ||
| 48 | int main(int argc, char **argv) { | 48 | int main(int argc, char **argv) { |
| 49 | char filename[255]; | 49 | char filename[255], dataid[NISSY_DATAID_SIZE]; |
| 50 | 50 | ||
| 51 | if (argc < 2) { | 51 | if (argc < 2) { |
| 52 | printf("Error: not enough arguments. " | 52 | printf("Error: not enough arguments. " |
| @@ -63,7 +63,7 @@ int main(int argc, char **argv) { | |||
| 63 | if (getdata(solver, &buf, filename) != 0) | 63 | if (getdata(solver, &buf, filename) != 0) |
| 64 | return 1; | 64 | return 1; |
| 65 | 65 | ||
| 66 | size = nissy_datasize(solver); | 66 | size = nissy_solverinfo(solver, dataid); |
| 67 | 67 | ||
| 68 | timerun(run); | 68 | timerun(run); |
| 69 | 69 | ||
