cb679b2a098dc3642be4c4ee14b843bd3d4ab8a7 - bison

commit: cb679b2a098dc3642be4c4ee14b843bd3d4ab8a7
[log]
author: Akim Demaille <akim.demaille@gmail.com>
Sun Jul 31 09:13:48 2022 +0200
committer: Akim Demaille <akim.demaille@gmail.com>
Sun Jul 31 09:35:05 2022 +0200
tree: fc1981ead8b677b79ea4216608148753feb29ca5
parent: 6ee1494d6ec270a5832b0ce8e2e5f16cca16935d [diff]

address unused variables

Reported by recent versions of clang.

* src/counterexample.c (search_state_prepend): Use complexity_cost.
* src/print.c: Remove useless variable.

src/counterexample.c[diff]
src/print.c[diff]

2 files changed