Merged with Dave Evans's changes.

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

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index a1b02dedea1ad96fdbf33f5ea3f14d0b0bb59ef2..8fdd42971cfcba59ef1f50bfadc503f6e6db6e41 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -643,6 +643,8 @@ extern long int sRef_getArraySize (sRef p_s) /*@*/;
 extern /*@observer@*/ cstring sRef_ntMessage (sRef p_s);     
 /* end modifications */
 
+extern void sRef_resetLen (sRef p_s) /*@modifies p_s@*/ ;
+
 # else
 # error "Multiple include"
 # endif