X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6252ab26bcefaa493fee28775bc03613cd46b0f2..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/src/sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 7eb9d63..b750436 100644
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -1076,13 +1076,13 @@ sRef_getUentry (sRef s)
     }
 }
 
-usymId
+int
 sRef_getParam (sRef s)
 {
   llassert (sRef_isReasonable (s));
   llassert (s->kind == SK_PARAM);
 
-  return usymId_fromInt (s->info->paramno);
+  return s->info->paramno;
 }
 
 bool