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

update API type annotation to make it OCaml friendly

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-10-25 13:43:15 +02:00
parent 3036b88f09
commit 45681b4c6e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_api.h
View file

@ -3554,7 +3554,7 @@ extern "C" {
def_API('Z3_get_string_contents', VOID, (_in(CONTEXT), _in(AST), _in(UINT), _out_array(2, UINT))) def_API('Z3_get_string_contents', VOID, (_in(CONTEXT), _in(AST), _in(UINT), _out_array(2, UINT)))
*/ */
void Z3_API Z3_get_string_contents(Z3_context c, Z3_ast s, unsigned length, unsigned* buffer); void Z3_API Z3_get_string_contents(Z3_context c, Z3_ast s, unsigned length, unsigned buffer[]);
/** /**
\brief Create an empty sequence of the sequence sort \c seq. \brief Create an empty sequence of the sequence sort \c seq.