diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-12-16 17:27:35 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-12-16 17:27:35 +0100 |
| commit | a21959e7edf523e6660023851f73426d8897783a (patch) | |
| tree | 82d7bb3fa87493b2aa8c827c122bbe49745773fd /src/solvers/h48/solve.h | |
| parent | 99b746a01c11e061c4bd42cf096d27be9507ae21 (diff) | |
| download | nissy-core-a21959e7edf523e6660023851f73426d8897783a.tar.gz nissy-core-a21959e7edf523e6660023851f73426d8897783a.zip | |
Fixed alignment bug
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 9f0cb78..6277082 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -129,6 +129,7 @@ solve_h48_appendallsym(dfsarg_solve_h48_t *arg) | |||
| 129 | } | 129 | } |
| 130 | 130 | ||
| 131 | /* The solutions are appended */ | 131 | /* The solutions are appended */ |
| 132 | ret = 0; | ||
| 132 | for (k = 0; k < j && *arg->nsols < arg->maxsolutions; k++) { | 133 | for (k = 0; k < j && *arg->nsols < arg->maxsolutions; k++) { |
| 133 | l = arg->solutions_size - *arg->solutions_used; | 134 | l = arg->solutions_size - *arg->solutions_used; |
| 134 | m = *arg->solutions + *arg->solutions_used; | 135 | m = *arg->solutions + *arg->solutions_used; |