]> git.lyx.org Git - features.git/commitdiff
Annotate missing break in switch for coverity
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Sat, 12 Sep 2015 20:19:59 +0000 (22:19 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Sat, 12 Sep 2015 20:19:59 +0000 (22:19 +0200)
Coverity issue 23362

src/TextClass.cpp

index a729fb58ae0e114e8b5d542213c256e1dc4d3c0e..b2b42f5203e7df9e6f7cb0c18baa327712a7ac81 100644 (file)
@@ -751,6 +751,7 @@ TextClass::ReturnValues TextClass::read(Lexer & lexrc, ReadType rt)
 
                case TC_IFCOUNTER:
                        ifcounter = true;
+                       // fall through
                case TC_COUNTER:
                        if (lexrc.next()) {
                                docstring const name = lexrc.getDocString();