diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-06-19 09:33:42 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-06-19 09:33:42 +0200 |
| commit | 39e736f68c0d92b47bd124357a33c02d2bd2fdc5 (patch) | |
| tree | 1caf215832681ce5da20c7a92fad96f7eed6de56 /src/solvers/h48 | |
| parent | 0e334e8659deaf61c3eef57e8ccd171a5becedb3 (diff) | |
| download | nissy-core-39e736f68c0d92b47bd124357a33c02d2bd2fdc5.tar.gz nissy-core-39e736f68c0d92b47bd124357a33c02d2bd2fdc5.zip | |
Small fixes
Diffstat (limited to 'src/solvers/h48')
| -rw-r--r-- | src/solvers/h48/checkdata.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/solvers/h48/checkdata.h b/src/solvers/h48/checkdata.h index d36d8cc..1ee053d 100644 --- a/src/solvers/h48/checkdata.h +++ b/src/solvers/h48/checkdata.h | |||
| @@ -135,7 +135,7 @@ struct { | |||
| 135 | [0] = 1051579940, | 135 | [0] = 1051579940, |
| 136 | [1] = 8136021316, | 136 | [1] = 8136021316, |
| 137 | [2] = 19024479822, | 137 | [2] = 19024479822, |
| 138 | [3] = 18851861220, | 138 | [3] = 1885186122, |
| 139 | }, | 139 | }, |
| 140 | }, | 140 | }, |
| 141 | }, | 141 | }, |
| @@ -216,7 +216,7 @@ checkdata_h48( | |||
| 216 | "table preamble\n", info.solver); | 216 | "table preamble\n", info.solver); |
| 217 | if (!distribution_equal(ed, info.distribution, em)) { | 217 | if (!distribution_equal(ed, info.distribution, em)) { |
| 218 | LOG("[checkdata] Distribution from the table preamble " | 218 | LOG("[checkdata] Distribution from the table preamble " |
| 219 | "does not matche the expected one\n"); | 219 | "does not match the expected one\n"); |
| 220 | return NISSY_ERROR_DATA; | 220 | return NISSY_ERROR_DATA; |
| 221 | } | 221 | } |
| 222 | 222 | ||