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

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

diff --git a/src/Headers/transferChecks.h b/src/Headers/transferChecks.h
index e79781917b346ff71e27224504ee08695ec965e7..3eab5cedfcce2faa3bb5996864a86396402f3f7b 100644 (file)
--- a/src/Headers/transferChecks.h
+++ b/src/Headers/transferChecks.h
@@ -3,11 +3,11 @@
 */
 
 extern bool transferChecks_globalDestroyed (sRef p_fref, fileloc p_loc) 
-   /*@modifies g_msgstream@*/ ;
+   /*@modifies g_warningstream@*/ ;
 extern void transferChecks_localDestroyed (sRef p_fref, fileloc p_loc) 
-   /*@modifies g_msgstream@*/ ;
+   /*@modifies g_warningstream@*/ ;
 extern void transferChecks_structDestroyed (sRef p_fref, fileloc p_loc)
-   /*@modifies g_msgstream@*/ ;
+   /*@modifies g_warningstream@*/ ;
 
 extern void transferChecks_assign (exprNode p_lhs, exprNode p_rhs);
 extern void transferChecks_initialization (exprNode p_lhs, exprNode p_rhs);