From 959ea6ca6c7bb9bb0736e2ed8bce326ab84ee5fe Mon Sep 17 00:00:00 2001 From: pelijah Date: Tue, 16 Apr 2024 11:38:35 +0300 Subject: [PATCH] Add HtSP and HtSS to lint.py --- src/lint.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lint.py b/src/lint.py index 541cbaf..9c07039 100644 --- a/src/lint.py +++ b/src/lint.py @@ -164,7 +164,7 @@ def cursor_get_comment(cursor: Cursor, *, packed: bool = False) -> Optional[str] warn( f"Type comment at {stringify_location(cursor.location)} should not have pointer" ) - elif typeref_spelling in {"HtPP", "HtUP", "HtUU", "RBTree", "SdbList"}: + elif typeref_spelling in {"HtPP", "HtUP", "HtUU", "HtSP", "HtSS", "RBTree", "SdbList"}: pass else: warn(