From a1ad0db8a6d829eddf1478cee44ae976bbcd325f Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 6 Apr 2026 14:48:54 +0100
Subject: Fix integer conversions in code, tests and some tools

---
 src/solvers/tables.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/solvers/tables.h')

diff --git a/src/solvers/tables.h b/src/solvers/tables.h
index 8211ab3..3db1d1e 100644
--- a/src/solvers/tables.h
+++ b/src/solvers/tables.h
@@ -140,7 +140,7 @@ writetableinfo(
 STATIC void
 append_name(tableinfo_t info[NON_NULL], const char *str)
 {
-	int i, j;
+	size_t i, j;
 
 	for (i = 0, j = strlen(info->solver); str[i] != '\0'; i++, j++)
 		info->solver[j] = str[i];
-- 
cgit v1.3