-
Notifications
You must be signed in to change notification settings - Fork 1.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
z3_api.h: Z3_mk_seq_last_index
second argument missing name
#6508
Comments
I found the following additional cases: Line 3896 in b9c4f5d
Line 5884 in b9c4f5d
Line 7032 in b9c4f5d
|
the change at line 5884 now misses a , between both parameters |
Thank you! |
hgvk94
pushed a commit
to hgvk94/z3
that referenced
this issue
Mar 27, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I'm looking at this line:
z3/src/api/z3_api.h
Line 3766 in b9c4f5d
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.The text was updated successfully, but these errors were encountered: