Skip to content

Commit 7aaad93

Browse files
committed
Fix typo in the lifetime profile
1 parent 23e25b9 commit 7aaad93

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)