X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b8dce3c7c286678208d27713c5380cfe35867101..7ac98eb7e62335f5bb191d2c399d7dae5c1e62ab:/lib/standard.h

diff --git a/lib/standard.h b/lib/standard.h
index 7e2288b..1ae8d37 100644
--- a/lib/standard.h
+++ b/lib/standard.h
@@ -469,6 +469,8 @@ typedef /*@abstract@*/ /*@mutable@*/ void *va_list;
 void va_start (/*@out@*/ va_list ap, ...) /*@modifies ap;@*/ ;
 void va_end (va_list va) /*@modifies va;@*/ ;
 
+void va_copy (/*@out@*/ va_list dest, va_list src) /*modifies dest;@*/ ;
+
 /*
 ** va_arg is builtin
 */