mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
adding cdecl directive to Z3_qe_lite to address build failure for Java bindings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1820ccd491
commit
72c478078e
|
@ -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);
|
||||
|
|
Loading…
Reference in a new issue