We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bed27a1 commit 9cf3f64Copy full SHA for 9cf3f64
1 file changed
src/ca/unb/meng/RuleML2TPTP.java
@@ -162,7 +162,7 @@ private static Options buildOptions() {
162
.hasArg()
163
.withArgName("flags")
164
.withDescription("flags following the specification of XPath "
165
- + "except for flag \"v\" (see NOTES below)")
+ + "except for flag 'v' (see NOTES below)")
166
.withLongOpt("comment-matching-flags")
167
.create('g'));
168
options.addOption(OptionBuilder
0 commit comments