Merged this branch with the one in the splint.sf.net repository.

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

diff --git a/src/Headers/sort.h b/src/Headers/sort.h
index 63c52b13d6f444ce0578795b4819264d68cb45c5..14f7a5c07cc7a331cdefec18f2048ac37748918a 100644 (file)
--- a/src/Headers/sort.h
+++ b/src/Headers/sort.h
@@ -152,7 +152,7 @@ extern bool sort_setExporting (bool p_flag) /*@modifies internalState@*/ ;
 # define sort_isNoSort(s)       ((s) == 0)
 /* assume NOSORTHANDLE is #define to 0 in sort.c */
 
-extern /*@unused@*/ void sort_printStats(void) /*@modifies g_msgstream@*/ ;
+extern /*@unused@*/ void sort_printStats(void) /*@modifies g_warningstream@*/ ;
 
 extern bool sort_equal (sort p_s1, sort p_s2) /*@*/ ;  
 extern sort sort_fromLsymbol (lsymbol p_sortid) /*@modifies internalState@*/ ;