util: remove unused checked_realloc #1383
Merged
Cirrus CI / sage prover
succeeded
Jul 25, 2023 in 7s
Task Summary
Task successfully finished!
Details
Loading