diff --git a/src/ca/unb/meng/RuleML2TPTP.java b/src/ca/unb/meng/RuleML2TPTP.java index 4e1193b..70dcedd 100644 --- a/src/ca/unb/meng/RuleML2TPTP.java +++ b/src/ca/unb/meng/RuleML2TPTP.java @@ -162,7 +162,7 @@ private static Options buildOptions() { .hasArg() .withArgName("flags") .withDescription("flags following the specification of XPath " - + "except for flag \"v\" (see NOTES below)") + + "except for flag 'v' (see NOTES below)") .withLongOpt("comment-matching-flags") .create('g')); options.addOption(OptionBuilder