--- a/src/eric7/QScintilla/Exporters/ExporterHTML.py	Thu Aug 31 15:00:53 2023 +0200
+++ b/src/eric7/QScintilla/Exporters/ExporterHTML.py	Thu Aug 31 18:10:28 2023 +0200
@@ -194,7 +194,6 @@
                                     QFontInfo(font).pointSize()
                                 )
                             html += "}\n"
-                            # __IGNORE_WARNING_Y113__
                     else:
                         styleIsUsed[istyle] = False
                 istyle += 1