Fixes for win32

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index 9df0718fc68b9b5120ce88d85a61414cc7753b2c..578469ad4a7a357753ba32fcb06a6608f82c3b57 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -3133,7 +3133,7 @@ checkGlobMods (/*@notnull@*/ /*@dependent@*/ exprNode f,
 
              if (sRef_isObserver (b))
                {
-                 exprNode e = exprNodeList_nth (args, usymId_toInt (sRef_getParam (rb)));
+                 exprNode e = exprNodeList_nth (args, sRef_getParam (rb));
                  
                  if (optgenerror 
                      (FLG_MODOBSERVER,