Changed grammer to allow multiple /*@fallthrough@*/ /*FALLTHRU*/ comments.

[splint.git] / test / lintcomments.c

diff --git a/test/lintcomments.c b/test/lintcomments.c
index 49f2290a416d69a1ce5d6b969e568f04ff9d8ce5..13d6f5f48491b2c8ea02c1957699c90520d69502 100644 (file)
--- a/test/lintcomments.c
+++ b/test/lintcomments.c
@@ -4,7 +4,7 @@ int f (int x)
 
   switch (x)
     {
-    case 1: i++; /*@fallthrough@*/
+    case 1: i++; /*@fallthrough@*/ /*FALLTHROUGH*/
     case 2: i++; /*FALLTHROUGH*/
     case 3: i++; /*FALLTHRU*/
     case 4: i++;