Added (limited) support for implicit annotations.

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index e285fa07561a5916df75339797536381d6693730..0e6dc60eaf1dca4f7ffd0b7be5996d7b1774eee7 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -9173,7 +9173,8 @@ bool sRef_isFixedArray (sRef p_s) /*@*/ {
 long int sRef_getArraySize (sRef p_s) /*@*/ {
   ctype c;
   llassert (sRef_isFixedArray(p_s) );
-
+  DPRINTF (( message ("sRef_getArraySize getting array size for %s", sRef_unparse(p_s) )  ));
+  
   c = sRef_getType (p_s);
 
   return (ctype_getArraySize (c) );