mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 13:21:22 +00:00
Code Activity

Bugfix (codeplex issue 132). Thanks to George Karpenov for catching this one!

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-10-06 13:46:55 +01:00
parent 0ccd56b847
commit 6191c3ff6e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/z3_api.h
View file

@ -6023,7 +6023,7 @@ END_MLAPI_EXCLUDE
\param a - arithmetical term \param a - arithmetical term
def_API('Z3_optimize_maximize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST))) def_API('Z3_optimize_maximize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST)))
*/ */
unsigned Z3_API Z3_optimize_maximize(Z3_context, Z3_optimize o, Z3_ast t); unsigned Z3_API Z3_optimize_maximize(Z3_context c, Z3_optimize o, Z3_ast t);
/** /**
\brief Add a minimization constraint. \brief Add a minimization constraint.
@ -6033,7 +6033,7 @@ END_MLAPI_EXCLUDE
def_API('Z3_optimize_minimize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST))) def_API('Z3_optimize_minimize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST)))
*/ */
unsigned Z3_API Z3_optimize_minimize(Z3_context, Z3_optimize o, Z3_ast t); unsigned Z3_API Z3_optimize_minimize(Z3_context c, Z3_optimize o, Z3_ast t);
/** /**