Alexandre Duret-Lutz authored
Fix some warnings reported by gcc. * buddy/src/kernel.c (errorstrings): Mark these as const. * buddy/src/reorder.c (reorder_gbc): Fix prototype. (siftTestCmp): Add missing const in cast. (bdd_reorder_auto): Actually call bdd_reorder_ready().e5f35dea
To find the state of this project's repository at the time of any of these versions, check out the tags.