noexpand always false.

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

diff --git a/src/Headers/stateClauseList.h b/src/Headers/stateClauseList.h
index 5049d115c517e37ff2634368fe5dbe9335444a4f..00a01f0af5372dcdac593ab0d06ef9f5b1ef767a 100644 (file)
--- a/src/Headers/stateClauseList.h
+++ b/src/Headers/stateClauseList.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 /*
@@ -17,7 +17,7 @@ struct s_stateClauseList
 } ;
 
 extern void stateClauseList_checkAll (uentry p_ue) 
-   /*@modifies p_ue, g_msgstream@*/ ;
+   /*@modifies p_ue, g_warningstream@*/ ;
 
 /*@constant null stateClauseList stateClauseList_undefined@*/
 # define stateClauseList_undefined ((stateClauseList) 0)
@@ -53,7 +53,7 @@ extern int stateClauseList_compare (stateClauseList p_s1, stateClauseList p_s2)
 # define stateClauseListBASESIZE MIDBASESIZE
 
 extern void stateClauseList_checkEqual (uentry p_old, uentry p_unew) 
-  /*@modifies g_msgstream@*/ ;
+  /*@modifies g_warningstream@*/ ;
 
 /*@iter stateClauseList_elements (sef stateClauseList x, yield exposed stateClause el); @*/
 # define stateClauseList_elements(x, m_el) \