From a6a6f0323eadeca4363e5cb7add982c2bb4dbc0c Mon Sep 17 00:00:00 2001 From: Brandon Stride Date: Thu, 29 May 2025 10:45:37 -0400 Subject: [PATCH] Fix out of bounds error in OCaml API (#7665) --- src/api/ml/z3.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 0be6e57a0..8f46e551c 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -1617,7 +1617,7 @@ struct let g i = Z3native.model_get_const_decl (gc x) x i in List.init (n_funcs + n_consts) (fun i -> if i < n_funcs then f i - else g i + else g (i - n_funcs) ) let eval (x:model) (t:expr) (completion:bool) =