From 6214ba900b11822b35002978c7d309446007aef2 Mon Sep 17 00:00:00 2001 From: Zachary Kincaid Date: Sun, 26 Jul 2015 21:17:59 -0400 Subject: [PATCH] Z3_lbool should be signed in API --- src/api/z3_api.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/z3_api.h b/src/api/z3_api.h index a646f93ca..42e0bad27 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -4237,7 +4237,7 @@ END_MLAPI_EXCLUDE /** \brief Return Z3_L_TRUE if \c a is true, Z3_L_FALSE if it is false, and Z3_L_UNDEF otherwise. - def_API('Z3_get_bool_value', UINT, (_in(CONTEXT), _in(AST))) + def_API('Z3_get_bool_value', INT, (_in(CONTEXT), _in(AST))) */ Z3_lbool Z3_API Z3_get_bool_value(Z3_context c, Z3_ast a); @@ -7578,7 +7578,7 @@ END_MLAPI_EXCLUDE \deprecated To be moved outside of API. - def_API('Z3_get_implied_equalities', UINT, (_in(CONTEXT), _in(SOLVER), _in(UINT), _in_array(2, AST), _out_array(2, UINT))) + def_API('Z3_get_implied_equalities', INT, (_in(CONTEXT), _in(SOLVER), _in(UINT), _in_array(2, AST), _out_array(2, UINT))) */ Z3_lbool Z3_API Z3_get_implied_equalities( Z3_context c,