Run LCLint on the code on cleaned things up a like.

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

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index ce0123c5d50fe13c3d61065233496b681f8ef28a..0bc6d92ad12034ac0adf00e4e15748b2108f26d1 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -629,9 +629,9 @@ extern bool sRef_isNotNullTerminated(sRef p_s);
                == BB_NOTNULLTERMINATED) : FALSE)
 
      /*drl7x 11/28/00*/
-extern  bool sRef_isFixedArray (sRef p_s);
+extern  bool sRef_isFixedArray (sRef p_s) /*@*/;
 
-extern int sRef_getArraySize (sRef p_s);
+extern long int sRef_getArraySize (sRef p_s) /*@*/;
 
 extern /*@observer@*/ cstring sRef_ntMessage (sRef p_s);     
 /* end modifications */