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

add missing /** so that OCaml can build

Browse source
This commit is contained in:
Nikolaj Bjorner 2012-10-20 19:10:25 -07:00
parent 630ba0c675
commit 1cae83183a
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
lib/z3_api.h
View file

@ -1159,7 +1159,7 @@ typedef enum
#endif #endif
/* /**
Definitions for update_api.py Definitions for update_api.py
def_Type('CONFIG', 'Z3_config', 'Config') def_Type('CONFIG', 'Z3_config', 'Config')
@ -3970,12 +3970,12 @@ END_MLAPI_EXCLUDE
*/ */
Z3_ast_kind Z3_API Z3_get_ast_kind(__in Z3_context c, __in Z3_ast a); Z3_ast_kind Z3_API Z3_get_ast_kind(__in Z3_context c, __in Z3_ast a);
/* /**
def_API('Z3_is_app', BOOL, (_in(CONTEXT), _in(AST))) def_API('Z3_is_app', BOOL, (_in(CONTEXT), _in(AST)))
*/ */
Z3_bool Z3_API Z3_is_app(__in Z3_context c, __in Z3_ast a); Z3_bool Z3_API Z3_is_app(__in Z3_context c, __in Z3_ast a);
/* /**
def_API('Z3_is_numeral_ast', BOOL, (_in(CONTEXT), _in(AST))) def_API('Z3_is_numeral_ast', BOOL, (_in(CONTEXT), _in(AST)))
*/ */
Z3_bool Z3_API Z3_is_numeral_ast(__in Z3_context c, __in Z3_ast a); Z3_bool Z3_API Z3_is_numeral_ast(__in Z3_context c, __in Z3_ast a);
@ -4757,17 +4757,17 @@ END_MLAPI_EXCLUDE
*/ */
Z3_string Z3_API Z3_ast_to_string(__in Z3_context c, __in Z3_ast a); Z3_string Z3_API Z3_ast_to_string(__in Z3_context c, __in Z3_ast a);
/* /**
def_API('Z3_pattern_to_string', STRING, (_in(CONTEXT), _in(PATTERN))) def_API('Z3_pattern_to_string', STRING, (_in(CONTEXT), _in(PATTERN)))
*/ */
Z3_string Z3_API Z3_pattern_to_string(__in Z3_context c, __in Z3_pattern p); Z3_string Z3_API Z3_pattern_to_string(__in Z3_context c, __in Z3_pattern p);
/* /**
def_API('Z3_sort_to_string', STRING, (_in(CONTEXT), _in(SORT))) def_API('Z3_sort_to_string', STRING, (_in(CONTEXT), _in(SORT)))
*/ */
Z3_string Z3_API Z3_sort_to_string(__in Z3_context c, __in Z3_sort s); Z3_string Z3_API Z3_sort_to_string(__in Z3_context c, __in Z3_sort s);
/* /**
def_API('Z3_func_decl_to_string', STRING, (_in(CONTEXT), _in(FUNC_DECL))) def_API('Z3_func_decl_to_string', STRING, (_in(CONTEXT), _in(FUNC_DECL)))
*/ */
Z3_string Z3_API Z3_func_decl_to_string(__in Z3_context c, __in Z3_func_decl d); Z3_string Z3_API Z3_func_decl_to_string(__in Z3_context c, __in Z3_func_decl d);