diff options
Diffstat (limited to '')
| -rw-r--r-- | tools/tool.h | 4 |
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; |
