From ebe1ef1d2d63c245fb203878d8309f1808d75c42 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 14 Oct 2024 16:02:03 +0200
Subject: Fix gendata

---
 tools/tool.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools/tool.h')

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)
 	long long int size, gensize;
 
 	size = nissy_datasize(solver);
-	if (size == -1) {
+	if (size < 0) {
 		printf("Error getting table size.\n");
 		return -1;
 	}
@@ -101,7 +101,7 @@ generatetable(const char *solver, char **buf)
 
 	if (gensize != size) {
 		printf("Error generating table");
-		if (gensize != -1)
+		if (gensize == NISSY_OK)
 			printf(" (got %lld bytes)", gensize);
 		printf("\n");
 		return -2;
-- 
cgit v1.3