Skip to content

Commit 91b5ee5

Browse files
committed
fix clang-tidy warning, mismatching parameter name
1 parent 155e929 commit 91b5ee5

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

lib/suppressions.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -316,7 +316,7 @@ namespace polyspace {
316316
private:
317317
std::set<std::string> parseIds(const std::string& comment, std::string::size_type& pos) const;
318318

319-
static CommentKind parseKind(const std::string& token, std::string::size_type& pos);
319+
static CommentKind parseKind(const std::string& comment, std::string::size_type& pos);
320320

321321
std::map<std::string, std::string> mFamilyMap;
322322
};

0 commit comments

Comments
 (0)