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

Error in documentation of write_smtlib #471

Closed
samuelkolb opened this Issue Jan 9, 2018 · 1 comment

Comments

Projects
None yet
2 participants
@samuelkolb

samuelkolb commented Jan 9, 2018

I just noticed in the API reference that the documentation of pysmt.shortcuts.write_smtlib seems to be wrong (probably a copy of pysmt.shortcuts.read_smtlib)

mikand added a commit that referenced this issue Jan 10, 2018

@mikand

This comment has been minimized.

Show comment
Hide comment
@mikand

mikand Jan 10, 2018

Contributor

@samuelkolb Thanks for signaling this! I just fixed it in master.

Contributor

mikand commented Jan 10, 2018

@samuelkolb Thanks for signaling this! I just fixed it in master.

@mikand mikand closed this Jan 10, 2018

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