Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / constraintGeneration.c

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index 3dfcf9070af8094c2da037cc87b546a28974c1d7..5e6c84f2355316b715a9c25ea83b51304c4c11b5 100644 (file)
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.c
@@ -794,7 +794,7 @@ static void exprNode_generateConstraintSwitch (/*@notnull@*/ exprNode switchStmt
   
 
   /*@-mustfree@*/ 
-  /*@i6534 - evans 2002-01-01: spurious warnings for these becuase of stack allocated storage */
+  /* evans 2002-01-01: spurious warnings for these becuase of stack allocated storage */
   exprNode_doGenerateConstraintSwitch (switchExpr, body, &lastRequires, 
                                       &lastEnsures, &constraintsRequires, &constraintsEnsures);
   /*@=mustfree@*/