z3_api.h: Z3_mk_seq_last_index second argument missing name

[callendorph]

I'm looking at this line:

z3/src/api/z3_api.h

Line 3766 in b9c4f5d

Z3_ast Z3_API Z3_mk_seq_last_index(Z3_context c, Z3_ast, Z3_ast substr);

The second argument of this function is missing the name of the argument declaration. Judging by the other methods, I would assume it needs a s here.

[callendorph]

I found the following additional cases:

z3/src/api/z3_api.h

Line 3896 in b9c4f5d

Z3_ast Z3_API Z3_mk_re_power(Z3_context c, Z3_ast, unsigned n);

z3/src/api/z3_api.h

Line 5884 in b9c4f5d

Z3_string Z3_API Z3_eval_smtlib2_string(Z3_context, Z3_string str);

z3/src/api/z3_api.h

Line 7032 in b9c4f5d

void Z3_API Z3_solver_propagate_consequence(Z3_context c, Z3_solver_callback, unsigned num_fixed, Z3_ast const* fixed, unsigned num_eqs, Z3_ast const* eq_lhs, Z3_ast const* eq_rhs, Z3_ast conseq);

[tw42pi]

the change at line 5884 now misses a , between both parameters

[NikolajBjorner]

3e8cbb6

[callendorph]

Thank you!