X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/5b99bfd6792ab9229bb5b1d9048833d21b22ecef..210066f9dd04de7d7d2f04d320b39a52f28b290b:/src/help.c diff --git a/src/help.c b/src/help.c index 443f50c..d27602b 100644 --- a/src/help.c +++ b/src/help.c @@ -524,9 +524,9 @@ void help_processFlags (int argc, char **argv) { printMaintainer (); } - else if (flags_isModeName (thisarg)) + else if (flags_isModeName (cstring_fromChars (thisarg))) { - llmsg (describeMode (thisarg)); + llmsg (describeMode (cstring_fromChars (thisarg))); } else if (mstring_equal (thisarg, "flags")) {