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.

Sign up for GitHub

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

Jump to bottom

z3.h: Don't include `stdio.h` #7014

Merged

NikolajBjorner merged 1 commit into Z3Prover:master from waywardmonkeys:remove-stdio.h-inclusion

Nov 24, 2023

Contributor

waywardmonkeys commented Nov 23, 2023

This doesn't seem to actually be used or needed here.


          z3.h: Don't include stdio.h

c47852a

This doesn't seem to actually be used or needed here.

NikolajBjorner merged commit 2354998 into Z3Prover:master

20 checks passed

waywardmonkeys deleted the remove-stdio.h-inclusion branch

November 24, 2023 15:58

Contributor Author

waywardmonkeys commented Nov 24, 2023

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment