X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..b05949b6920ce15fd7063643b59cce2f34528854:/test/lintcomments.c

diff --git a/test/lintcomments.c b/test/lintcomments.c
index 49f2290..13d6f5f 100644
--- 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++;