| commit | cb679b2a098dc3642be4c4ee14b843bd3d4ab8a7 | |
| author | Akim Demaille <akim.demaille@gmail.com> | |
| Sun, 31 Jul 2022 07:13:48 +0000 (31 09:13 +0200) | ||
| committer | Akim Demaille <akim.demaille@gmail.com> | |
| Sun, 31 Jul 2022 07:35:05 +0000 (31 09:35 +0200) | ||
| tree | fc1981ead8b677b79ea4216608148753feb29ca5 | treesnapshot (tar.gz zip) |
| parent | 6ee1494d6ec270a5832b0ce8e2e5f16cca16935d | commitdiff |
address unused variables
Reported by recent versions of clang.
* src/counterexample.c (search_state_prepend): Use complexity_cost.
* src/print.c: Remove useless variable.
Reported by recent versions of clang.
* src/counterexample.c (search_state_prepend): Use complexity_cost.
* src/print.c: Remove useless variable.
| src/counterexample.c | diffblobblamehistory | |
| src/print.c | diffblobblamehistory |