Skip to content

Commit

Permalink
Add HtSP and HtSS to lint.py
Browse files Browse the repository at this point in the history
  • Loading branch information
pelijah authored Apr 16, 2024
1 parent 23dcdda commit 959ea6c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lint.py
Original file line number Diff line number Diff line change
Expand Up @@ -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(
Expand Down

0 comments on commit 959ea6c

Please sign in to comment.