Fixed problem with shadow parameters.

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

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index 5fb4d4db0b8f6f3cf0ade02d32faf44064c5cfbd..eb76ba9ab9ef65265c2f9aeec0b97ef6a02f5e61 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -72,7 +72,7 @@ extern /*@noreturnwhenfalse@*/ void llassertfatal (/*@sef@*/ bool p_test);
 
 extern void llmsg (/*@only@*/ cstring p_s) /*@modifies g_warningstream@*/ ;
 
-extern void lldiagmsg (/*@only@*/ cstring p_s) /*@modifies stderr@*/ ;
+extern void lldiagmsg (/*@only@*/ cstring p_s) /*@modifies g_messagestream@*/ ;
 extern void llmsgplain (/*@only@*/ cstring p_s) /*@modifies g_warningstream@*/ ;
 extern void llhint (/*@only@*/ cstring p_s) 
    /*@globals g_currentloc, g_warningstream;@*/