From a8f703e0344812ee94b037bda9a17802415ff03d Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 24 Jul 2014 18:50:11 +0100 Subject: [PATCH] ML API bugfix. Thanks to Martin Neuhaeusser for reporting this one! Signed-off-by: Christoph M. Wintersteiger --- 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 b48681b87..bdcf1a26b 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -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