mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

hack for compiling ML API with recent changes in the Z3 API

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-19 21:27:27 -08:00
parent 0bee012f2c
commit c6e22cd2b0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/ml/z3_stubs.c
View file

@ -8708,7 +8708,7 @@ value camlidl_z3_Z3_fixedpoint_simplify_rules(
camlidl_ml2c_z3_Z3_func_decl(_v6, &outputs[_c5], _ctx); camlidl_ml2c_z3_Z3_func_decl(_v6, &outputs[_c5], _ctx);
} }
num_outputs = _c4; num_outputs = _c4;
_res = Z3_fixedpoint_simplify_rules(c, f, num_rules, rules, num_outputs, outputs); // _res = Z3_fixedpoint_simplify_rules(c, f, num_rules, rules, num_outputs, outputs);
_vres = camlidl_c2ml_z3_Z3_ast_vector(&_res, _ctx); _vres = camlidl_c2ml_z3_Z3_ast_vector(&_res, _ctx);
camlidl_free(_ctx); camlidl_free(_ctx);
/* begin user-supplied deallocation sequence */ /* begin user-supplied deallocation sequence */