Skip to content

Commit cb9c314

Browse files
authored
Merge pull request #330 from jketema/lifetime-typo
Fix typo in the lifetime profile
2 parents 23e25b9 + 7aaad93 commit cb9c314

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/common/src/codingstandards/cpp/lifetimes/lifetimeprofile/LifetimeProfile.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -198,7 +198,7 @@ newtype TPSetEntry =
198198
PSetNull(NullReason nr) or
199199
/** An invalid pointer, for the given reason. */
200200
PSetInvalid(InvalidReason ir) or
201-
/** An unkown pointer. */
201+
/** An unknown pointer. */
202202
PSetUnknown()
203203

204204
/**

0 commit comments

Comments
 (0)