aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small
diff options
context:
space:
mode:
Diffstat (limited to 'tools/300_solve_small')
-rw-r--r--tools/300_solve_small/solve_small.c4
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
48int main(int argc, char **argv) { 48int 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

Generated with cgit - Back to sebastiano.tronto.net