Fixed problem with NULL being changed.

[splint.git] / src / Headers / flags.h

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index d4e0160bb419422728d9a4adb3427b8d7b4bd11e..ac362ada38c674defc54ed860e8c014d67858c4e 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -95,7 +95,7 @@ extern bool flagcode_hasArgument (flagcode p_f) /*@*/ ;
 
 extern bool flags_isModeName (cstring p_s) /*@*/ ;
 extern /*@only@*/ cstring describeModes (void) /*@modifies g_messagestream@*/ ;
-extern /*@only@*/ cstring describeMode (/*@observer@*/ cstring mode) /*@*/ ;
+extern /*@only@*/ cstring describeMode (/*@temp@*/ cstring p_mode) /*@*/ ;
 extern void summarizeErrors (void) /*@modifies g_messagestream@*/ ;
 
 extern bool flagcode_isNameChecksFlag (flagcode p_f) /*@*/ ;