*** empty log message ***

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index f1e03a92646f1117f3cd372f2d0e062e9589992c..b254996cf6ee7d961aaedbbe787218aae8068bab 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -2798,9 +2798,7 @@ sRef_unparseWithArgs (sRef s, uentryList args)
              return uentry_getName (ue);
          }
 
-       return (message ("<bad param: %q / args %q",
-                        sRef_unparseDebug (s),
-                        uentryList_unparse (args)));
+       return (message ("parameter %d", s->info->paramno + 1));
       }
     case SK_ARRAYFETCH:
       if (s->info->arrayfetch->indknown)