Remove parsing of why3 doc strings

2023-10-03 13:03:40 +00:00 · 2017-06-30 22:34:03 +01:00
parent c5947ae6e3
commit a46b3479bb
3 changed files with 2 additions and 14 deletions
@@ -26,7 +26,7 @@ class SolidityLexer(RegexLexer):
            (r'/\*.*?\*/', Comment.Multiline)
        ],
        'natspec': [
-            (r'@author|@dev|@notice|@return|@param|@why3|@title', Keyword),
+            (r'@author|@dev|@notice|@return|@param|@title', Keyword),
            (r'.[^@*\n]*?', Comment.Special)
        ],
        'docstringsingle': [