From 3b49d6bd273fec7cf917313fde0ec4d78b125730 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sat, 12 Sep 2015 22:19:59 +0200
Subject: [PATCH] Annotate missing break in switch for coverity

Coverity issue 23362
---
 src/TextClass.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/TextClass.cpp b/src/TextClass.cpp
index a729fb58ae..b2b42f5203 100644
--- a/src/TextClass.cpp
+++ b/src/TextClass.cpp
@@ -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();
-- 
2.39.2