mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-09 07:33:24 +00:00
Code Activity

ML API bug fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-02-15 13:01:00 +00:00
parent 733c115722
commit 0dc85620aa
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/z3native_stubs.c.pre
View file

@ -69,7 +69,7 @@ static struct custom_operations default_custom_ops = {
CAMLparam1(v); \ CAMLparam1(v); \
CAMLlocal1(result); \ CAMLlocal1(result); \
Z3_ ## X ## _plus * p = (Z3_ ## X ## _plus *) Data_custom_val(v); \ Z3_ ## X ## _plus * p = (Z3_ ## X ## _plus *) Data_custom_val(v); \
result = caml_alloc(sizeof(Z3_context_plus), 0); \ result = caml_alloc_custom(&Z3_context_plus_custom_ops, sizeof(Z3_context_plus), 0, 1); \
*(Z3_context_plus*)Data_custom_val(result) = *p->cp; \ *(Z3_context_plus*)Data_custom_val(result) = *p->cp; \
CAMLreturn(result); \ CAMLreturn(result); \
} }