mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 12:28:44 +00:00
Code Activity

ML API build fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-05-03 13:34:20 +01:00
parent 86126e2c01
commit 140f0bb794
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/api/ml/z3native_stubs.c.pre
View file

@ -63,7 +63,7 @@ static struct custom_operations default_custom_ops = {
custom_compare_ext_default,
};
inline int compare_pointers(void* pt1, void* pt2) {
int compare_pointers(void* pt1, void* pt2) {
if (pt1 == pt2)
return 0;
else if ((intnat)pt1 < (intnat)pt2)
@ -138,7 +138,7 @@ Z3_context Z3_context_plus_raw(Z3_context_plus * cp) {
return (*cp)->ctx;
}
inline void try_to_delete_context(Z3_context_plus cp) {
void try_to_delete_context(Z3_context_plus cp) {
if (cp->obj_count == 0) {
/* printf("try_to_delete_context: Deleting context %p(%p) with cnt=0.\n", cp, cp->ctx); */
Z3_del_context(cp->ctx);