Fix out of bounds error in OCaml API (#7665)#7666

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom

brandonzstride:ocaml-api-get-declsbrandonzstride/z3:ocaml-api-get-declsCopy head branch name to clipboard