aboutsummaryrefslogtreecommitdiff
path: root/tools/100_checkdata
diff options
context:
space:
mode:
Diffstat (limited to 'tools/100_checkdata')
-rw-r--r--tools/100_checkdata/checkdata.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
index fe94427..8bc308c 100644
--- a/tools/100_checkdata/checkdata.c
+++ b/tools/100_checkdata/checkdata.c
@@ -6,13 +6,13 @@ char *solver, *filename;
6static void 6static void
7run(void) { 7run(void) {
8 long long int size, result; 8 long long int size, result;
9 char *buf; 9 char *buf, dataid[NISSY_DATAID_SIZE];
10 FILE *f; 10 FILE *f;
11 11
12 size = nissy_datasize(solver); 12 size = nissy_solverinfo(solver, dataid);
13 13
14 if (size <= 0) { 14 if (size <= 0) {
15 printf("Error in datasize\n"); 15 printf("Error in solverinfo\n");
16 return; 16 return;
17 } 17 }
18 18

Generated with cgit - Back to sebastiano.tronto.net