X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8ea5df88d4d589854cfd2cf734e203ce58da744d..909cf5eb75a37820d441f670ee02a6e0c42944fc:/src/Headers/llerror.h

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index 5fb4d4d..eb76ba9 100644
--- 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;@*/