diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2026-04-06 14:48:54 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2026-04-06 14:48:54 +0100 |
| commit | a1ad0db8a6d829eddf1478cee44ae976bbcd325f (patch) | |
| tree | a6e62232e05e7779034c5f9d1bf743b6f1c198e3 /src/solvers/tables.h | |
| parent | 0d4fa9ebbfcadfff4baf8fc3cd32a63dcfd7dd43 (diff) | |
| download | nissy-core-c-portability.tar.gz nissy-core-c-portability.zip | |
Fix integer conversions in code, tests and some toolsc-portability
Diffstat (limited to 'src/solvers/tables.h')
| -rw-r--r-- | src/solvers/tables.h | 2 |
1 files changed, 1 insertions, 1 deletions
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( | |||
| 140 | STATIC void | 140 | STATIC void |
| 141 | append_name(tableinfo_t info[NON_NULL], const char *str) | 141 | append_name(tableinfo_t info[NON_NULL], const char *str) |
| 142 | { | 142 | { |
| 143 | int i, j; | 143 | size_t i, j; |
| 144 | 144 | ||
| 145 | for (i = 0, j = strlen(info->solver); str[i] != '\0'; i++, j++) | 145 | for (i = 0, j = strlen(info->solver); str[i] != '\0'; i++, j++) |
| 146 | info->solver[j] = str[i]; | 146 | info->solver[j] = str[i]; |