X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/stateClauseList.c

diff --git a/src/stateClauseList.c b/src/stateClauseList.c
index 1c01941..d51c24c 100644
--- a/src/stateClauseList.c
+++ b/src/stateClauseList.c
@@ -252,7 +252,7 @@ void stateClauseList_checkAll (uentry ue)
 
       if (stateClause_isGlobal (cl))
 	{
-	  /*@i232@*/
+	  ; 
 	}
       else
 	{
@@ -396,7 +396,7 @@ void stateClauseList_checkAll (uentry ue)
 		    {
 		      voptgenerror
 			(FLG_ANNOTATIONERROR,
-			 /*@-sefparams@*/ /* This is okay because its fresh storage. */ /*@i32@*/
+			 /*@-sefparams@*/ /* This is okay because its fresh storage. */
 			 message 
 			 ("%q clauses includes %q of "
 			  "non-dynamically allocated type %s",
@@ -451,7 +451,7 @@ void stateClauseList_checkEqual (uentry old, uentry unew)
 	{
 	  if (stateClause_isGlobal (cl))
 	    {
-	      ; /*@i32@*/ 
+	      ; /* Don't handle globals for now */
 	    }
 	  else
 	    {