aboutsummaryrefslogtreecommitdiff
path: root/tools/301_solve_file/solve_file.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/301_solve_file/solve_file.c')
-rw-r--r--tools/301_solve_file/solve_file.c4
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
35int main(int argc, char **argv) { 35int 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",

Generated with cgit - Back to sebastiano.tronto.net