Runs on test suite wu-ftpd and bind without crashing or producing obvious errors.

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

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index 4684785fb41a03a2094d0e391eca564d6fb519ac..a1b02dedea1ad96fdbf33f5ea3f14d0b0bb59ef2 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -365,7 +365,8 @@ extern /*@exposed@*/ sRef
     added function
     12/24/2000
   */
-  extern /*@only@*/ constraintExpr sRef_fixConstraintParam (/*@observer@*/  sRef s, /*@observer@*/ exprNodeList args);
+  
+  /*@only@*/ constraintExpr sRef_fixConstraintParam (/*@observer@*/  sRef s, /*@observer@*/ /*@temp@*/ exprNodeList args);
   
 extern bool sRef_isUnionField (sRef p_s);
 extern void sRef_setModified (sRef p_s);