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

diff --git a/src/stateClauseList.c b/src/stateClauseList.c
index d51c24c..fe5bf2e 100644
--- a/src/stateClauseList.c
+++ b/src/stateClauseList.c
@@ -297,7 +297,7 @@ void stateClauseList_checkAll (uentry ue)
 				    stateClause_unparse (cl)),
 			   uentry_whereLast (ue)))
 			{
-			  /*@i! annotationInfo_showContextError (ainfo, ue); */
+			  /* annotationInfo_showContextError (ainfo, ue); */
 			}
 		    }
 		}