Added va_copy to standard.h.

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

diff --git a/src/Headers/annotationInfo.h b/src/Headers/annotationInfo.h
index 1e1dac74350a7630c3e306f2e6b715a3505373a9..d88066c0ef301ab558a145f38dc971c2d67db1b1 100644 (file)
--- a/src/Headers/annotationInfo.h
+++ b/src/Headers/annotationInfo.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.
 */
 /*
@@ -48,8 +48,8 @@ annotationInfo_create (/*@only@*/ cstring p_name,
                       /*@only@*/ mtContextNode p_context,
                       int p_value, /*@only@*/ fileloc p_loc) /*@*/ ;
 
-extern /*@observer@*/ cstring annotationInfo_unparse (annotationInfo p_ainfo);
-extern /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo p_ainfo) /*@*/ ;
+extern /*@observer@*/ cstring annotationInfo_unparse (annotationInfo p_a);
+extern /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo p_a) /*@*/ ;
 
 extern void annotationInfo_free (/*@only@*/ annotationInfo) ;