From c6e22cd2b0611f86338502b9da9000d9a904dab9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 19 Nov 2012 21:27:27 -0800 Subject: [PATCH] hack for compiling ML API with recent changes in the Z3 API Signed-off-by: Leonardo de Moura --- src/api/ml/z3_stubs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3_stubs.c b/src/api/ml/z3_stubs.c index 08100573a..dcc434196 100644 --- a/src/api/ml/z3_stubs.c +++ b/src/api/ml/z3_stubs.c @@ -8708,7 +8708,7 @@ value camlidl_z3_Z3_fixedpoint_simplify_rules( camlidl_ml2c_z3_Z3_func_decl(_v6, &outputs[_c5], _ctx); } 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); camlidl_free(_ctx); /* begin user-supplied deallocation sequence */