community/z3: fix build on gcc13 (!53942) · Merge requests · alpine / aports · GitLab

Celeste requested to merge Celeste/aports:fix-z3-cstdint into master Oct 24, 2023

Fixes error found during 3.19 rebuild: https://build.alpinelinux.org/buildlogs/build-3-19-aarch64/community/z3/z3-4.12.2-r0.log