From 9d701c3b026b8d084bd8040d5a49e3ec71d5bbff Mon Sep 17 00:00:00 2001
From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Thu, 18 Jan 2018 23:07:05 +0100
Subject: [PATCH] doxygen: aaand now the coverage is 100%.

---
 doxygen/dox2html5.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doxygen/dox2html5.py b/doxygen/dox2html5.py
index e6bf2eb7..20b8cf56 100755
--- a/doxygen/dox2html5.py
+++ b/doxygen/dox2html5.py
@@ -1740,7 +1740,7 @@ def parse_xml(state: State, xml: str):
     if compound.kind == 'example':
         # Build breadcrumb navigation
         if example_navigation:
-            if not compound.name.startswith(example_navigation[1]):
+            if not compound.name.startswith(example_navigation[1]): # pragma: no cover
                 logging.critical("{}: example filename is not prefixed with {}".format(state.current, example_navigation[1]))
                 assert False
 
-- 
2.30.2