CLI help text - Githubissues

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

33 stars 25 forks source link

CLI help text #104

Closed mallika2608 closed 8 years ago

mallika2608 commented 8 years ago

Just a minor bug. Running the command skeptik --help displays the usage help, which is still showing "compress" in the usage text. Whereas, I think that has been updated to "skeptik".

(Example here)

Should I change this and submit a pull request or will one of you folks do it?

ceilican commented 8 years ago

Indeed. It would be great if you could fix it and send a pull request.

mallika2608 commented 8 years ago

Done, sent a pull request.

ceilican commented 8 years ago

Thank you, @mallika2608 !