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

[splint.git] / src / nameChecks.c

diff --git a/src/nameChecks.c b/src/nameChecks.c
index 5cbea671b79d6145ca63123348b9b8aff6f57b8c..cce86e6019e1eae40fb0bc892656daf1d78b52fd 100644 (file)
--- a/src/nameChecks.c
+++ b/src/nameChecks.c
@@ -30,10 +30,10 @@
 # include "nameChecks.h"
 
 static bool checkCzechName (uentry p_ue, flagcode p_czechflag, bool p_report)
-  /*@modifies p_ue, g_msgstream@*/ ;
+  /*@modifies p_ue, g_warningstream@*/ ;
 
 static bool checkSlovakName (uentry p_ue, flagcode p_slovakflag, bool p_report)
-  /*@modifies p_ue, g_msgstream@*/ ;
+  /*@modifies p_ue, g_warningstream@*/ ;
 
 static cstring czechPrefix (cstring name)
 {