]> andersk Git - splint.git/blobdiff - src/help.c
Fixed problem with NULL being changed.
[splint.git] / src / help.c
index 443f50c5f0158a5134ee9a68c96cf7afe6337951..d27602b80d1a7a78d09463e54f06e0840dbc3ae0 100644 (file)
@@ -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"))
        {
This page took 0.041016 seconds and 4 git commands to generate.