Skip to content

Commit

Permalink
modify the help
Browse files Browse the repository at this point in the history
  • Loading branch information
edmonl committed Nov 15, 2014
1 parent 594fe7d commit 2924c39
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ca/unb/meng/RuleML2TPTP.java
Original file line number Diff line number Diff line change
Expand Up @@ -184,7 +184,7 @@ private static void printUsage(Options options) {
+ "If '-s' or '-o' is omitted, the standard input or output will be used accordingly.%n"
+ "If '-h' is used, no XML transformation will be performed.%n"
+ "By default, all the comments in the source will be kept in the output. "
+ "'-c' can switch to keep only those matching the given pattern. "
+ "Use '-c' to switch to keep only those matching the given pattern. "
+ "An empty pattern has no effect. "
+ "Flag \"v\" reverts the behavior by keeping those not matching the pattern, "
+ "or by ignoring all the comments if no or empty pattern is given."
Expand Down

0 comments on commit 2924c39

Please sign in to comment.