Fixes for win32

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 7eb9d6364986cbf92de359fc8c99edf78bb97a83..b7504360ab463c4a74d77cc54d45f0d178e08804 100644 (file)
--- 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