Fixed problem with NULL being changed.

[splint.git] / src / help.c

diff --git a/src/help.c b/src/help.c
index 4f4deb784f9e96d4f2078577ab8dc4ccf8ccec6d..d27602b80d1a7a78d09463e54f06e0840dbc3ae0 100644 (file)
--- a/src/help.c
+++ b/src/help.c
@@ -524,6 +524,10 @@ void help_processFlags (int argc, char **argv)
        {
          printMaintainer ();
        }
+      else if (flags_isModeName (cstring_fromChars (thisarg)))
+       {
+         llmsg (describeMode (cstring_fromChars (thisarg)));
+       }
       else if (mstring_equal (thisarg, "flags"))
        {
          if (i + 1 < argc)