o Make lltok an abstract type, a pointer to structure instead of a plain

[splint.git] / src / lclinit.c

diff --git a/src/lclinit.c b/src/lclinit.c
index aeb0641e60916edc2fb044e8195f454317548b6a..58a1260e28220c11e2a50cad13fbd6cc570836bb 100644 (file)
--- a/src/lclinit.c
+++ b/src/lclinit.c
@@ -107,7 +107,7 @@ static void ProcessSynonym (void) /*@modifies nextToken@*/ ;
 
 static void
   LocalUserError (/*@unused@*/ ltoken p_t, /*@temp@*/ char *p_msg)
-  /*@modifies *g_msgstream@*/ ;
+  /*@modifies *g_warningstream@*/ ;
 
 /* If TRUE character has been redefined as a singleChar. */
 static bool defineSingleChar[LASTCHAR + 1];