From 72c478078e53276404f2c54336570f356c2ff337 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 31 Jul 2017 23:14:53 -0700
Subject: [PATCH] adding cdecl directive to Z3_qe_lite to address build failure
for Java bindings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/api/z3_spacer.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/api/z3_spacer.h b/src/api/z3_spacer.h
index c01ee4a4d..88129d095 100644
--- a/src/api/z3_spacer.h
+++ b/src/api/z3_spacer.h
@@ -128,7 +128,7 @@ extern "C" {
def_API ('Z3_qe_lite', AST, (_in(CONTEXT), _in(AST_VECTOR), _in(AST)))
*/
- Z3_ast Z3_qe_lite
+ Z3_ast Z3_API Z3_qe_lite
(Z3_context c,
Z3_ast_vector vars,
Z3_ast body);