Fix build when Z3_API macro is non-empty#7553

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom

pclayton:fix-for-non-empty-z3-api-macropclayton/z3:fix-for-non-empty-z3-api-macroCopy head branch name to clipboard