Skip to content
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

Duplicate description of the -show-model option #14

Open
aigarashi opened this issue Sep 18, 2021 · 0 comments
Open

Duplicate description of the -show-model option #14

aigarashi opened this issue Sep 18, 2021 · 0 comments
Labels
bug Something isn't working

Comments

@aigarashi
Copy link
Contributor

Invoking with --help shows:

Verify imp file
...
-show-model Print inferred model on stderr
...
-show-model Print model produced from successful verification

where -show-model appears twice.

@aigarashi aigarashi added the bug Something isn't working label Sep 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant