mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

Remove vestiges of old ml api

Browse source
This commit is contained in:
Josh Berdine 2023-07-14 10:25:15 +01:00
parent e4897fff00
commit 02df5a1a47
3 changed files with 5 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/c/test_capi.c
View file

@ -592,7 +592,7 @@ void display_function_interpretations(Z3_context c, FILE * out, Z3_model m)
Z3_symbol name;
Z3_ast func_else;
unsigned num_entries = 0, j;
Z3_func_interp_opt finterp;
Z3_func_interp finterp;
fdecl = Z3_model_get_func_decl(c, m, i);
finterp = Z3_model_get_func_interp(c, m, fdecl);