diff options
Diffstat (limited to 'tools/301_solve_file/solve_file.c')
| -rw-r--r-- | tools/301_solve_file/solve_file.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/301_solve_file/solve_file.c b/tools/301_solve_file/solve_file.c index fe41bb7..cefc608 100644 --- a/tools/301_solve_file/solve_file.c +++ b/tools/301_solve_file/solve_file.c | |||
| @@ -33,7 +33,7 @@ void run(void) { | |||
| 33 | } | 33 | } |
| 34 | 34 | ||
| 35 | int main(int argc, char **argv) { | 35 | int main(int argc, char **argv) { |
| 36 | char filename[255], *scrfilename; | 36 | char filename[255], dataid[NISSY_DATAID_SIZE], *scrfilename; |
| 37 | FILE *scrfile; | 37 | FILE *scrfile; |
| 38 | 38 | ||
| 39 | if (argc < 3) { | 39 | if (argc < 3) { |
| @@ -52,7 +52,7 @@ int main(int argc, char **argv) { | |||
| 52 | if (getdata(solver, &buf, filename) != 0) | 52 | if (getdata(solver, &buf, filename) != 0) |
| 53 | return 1; | 53 | return 1; |
| 54 | 54 | ||
| 55 | size = nissy_datasize(solver); | 55 | size = nissy_solverinfo(solver, dataid); |
| 56 | 56 | ||
| 57 | if ((scrfile = fopen(scrfilename, "r")) == NULL) { | 57 | if ((scrfile = fopen(scrfilename, "r")) == NULL) { |
| 58 | printf("Error: could not read given file '%s'.\n", | 58 | printf("Error: could not read given file '%s'.\n", |
