aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/tool.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/tool.h b/tools/tool.h
index 8fa726a..3488f34 100644
--- a/tools/tool.h
+++ b/tools/tool.h
@@ -91,7 +91,7 @@ generatetable(const char *solver, char **buf)
91 long long int size, gensize; 91 long long int size, gensize;
92 92
93 size = nissy_datasize(solver); 93 size = nissy_datasize(solver);
94 if (size == -1) { 94 if (size < 0) {
95 printf("Error getting table size.\n"); 95 printf("Error getting table size.\n");
96 return -1; 96 return -1;
97 } 97 }
@@ -101,7 +101,7 @@ generatetable(const char *solver, char **buf)
101 101
102 if (gensize != size) { 102 if (gensize != size) {
103 printf("Error generating table"); 103 printf("Error generating table");
104 if (gensize != -1) 104 if (gensize == NISSY_OK)
105 printf(" (got %lld bytes)", gensize); 105 printf(" (got %lld bytes)", gensize);
106 printf("\n"); 106 printf("\n");
107 return -2; 107 return -2;

Generated with cgit - Back to sebastiano.tronto.net