Fixes after removing -unrecogcomments flag for make splintme.

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

diff --git a/src/Headers/mtDefaultsDeclList.h b/src/Headers/mtDefaultsDeclList.h
index 2be663f06b5099c4d768841339c5f247edd3b4dc..2cdfce7ddff7296321f9f75f743ae7f65182e3f5 100644 (file)
--- a/src/Headers/mtDefaultsDeclList.h
+++ b/src/Headers/mtDefaultsDeclList.h
@@ -7,7 +7,7 @@
 # ifndef mtDefaultsDeclLIST_H
 # define mtDefaultsDeclLIST_H
 
-/*@private@*/ typedef /*@only@*/ mtDefaultsDecl o_mtDefaultsDecl;
+/*:private:*/ typedef /*@only@*/ mtDefaultsDecl o_mtDefaultsDecl;
 
 struct s_mtDefaultsDeclList
 {
@@ -39,7 +39,7 @@ extern mtDefaultsDeclList
   /*@modifies p_s@*/ ;
 
 extern mtDefaultsDeclList 
-  mtDefaultsDeclList_prepend (/*@returned@*/ mtDefaultsDeclList p_s, /*@keep@*/ mtDefaultsDecl p_el) 
+  mtDefaultsDeclList_prepend (/*@only@*/ mtDefaultsDeclList p_s, /*@keep@*/ mtDefaultsDecl p_el) 
   /*@modifies p_s@*/ ;
 
 extern /*@unused@*/ /*@only@*/ cstring