Fixes for win32

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 9bc78f208a55fe4e23392158798439a75d034974..ae0ed4f0d57334f470dfb257e09e814c9919db18 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -264,7 +264,7 @@ checkRefGlobParam (sRef base, /*@notnull@*/ exprNode e,
          else if (sRef_isAnyParam (base))
            {
              uentryList params = context_getParams ();
-             int paramno = usymId_toInt (sRef_getParam (base));
+             int paramno = sRef_getParam (base);
 
              if (paramno < uentryList_size (params))
                {
@@ -319,7 +319,7 @@ checkRefGlobParam (sRef base, /*@notnull@*/ exprNode e,
          else if (sRef_isAnyParam (base) && !(sRef_isOnly (base)))
            {
              uentryList params = context_getParams ();
-             int paramno = usymId_toInt (sRef_getParam (base));
+             int paramno = sRef_getParam (base);
              
              if (paramno < uentryList_size (params))
                {