3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00

ML API bugfix. Thanks to Martin Neuhaeusser for reporting this one!

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-07-24 18:50:11 +01:00
parent 5e2a7e06fd
commit a8f703e034

View file

@ -2045,7 +2045,7 @@ struct
let get_num_funcs ( x : model ) = Z3native.model_get_num_funcs (z3obj_gnc x) (z3obj_gno x)
let get_func_decls ( x : model ) =
let n = (get_num_consts x) in
let n = (get_num_funcs x) in
let f i = func_decl_of_ptr (z3obj_gc x) (Z3native.model_get_func_decl (z3obj_gnc x) (z3obj_gno x) i) in
mk_list f n