Making fixes for Microsoft Visual C++ compiler.

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

diff --git a/src/Headers/flagMarkerList.h b/src/Headers/flagMarkerList.h
index 86665de0f3e6642606aca2461b05ec5128ad6d7d..4388f8d0068f26fcdbf051541c46b1b4e3765f92 100644 (file)
--- a/src/Headers/flagMarkerList.h
+++ b/src/Headers/flagMarkerList.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.
 **
 */
@@ -32,7 +32,7 @@ extern ynm
   flagMarkerList_suppressError (flagMarkerList p_s, flagcode p_code, fileloc p_loc) /*@*/ ;
 
 extern void flagMarkerList_checkSuppressCounts (flagMarkerList p_s) 
-   /*@modifies g_msgstream@*/ ;
+   /*@modifies g_warningstream@*/ ;
 
 extern bool
   flagMarkerList_inIgnore (flagMarkerList p_s, fileloc p_loc) /*@*/ ;