Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/mtDefaultsDeclList.h b/src/Headers/mtDefaultsDeclList.h
index fcff2767f7b5ab84b949b1be5cb24a1c79853419..a4d7a7563c272398862349ebdb6a0ad51e9c5f12 100644 (file)
--- a/src/Headers/mtDefaultsDeclList.h
+++ b/src/Headers/mtDefaultsDeclList.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.
 **
 */
@@ -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