Skip to content

Commit 368ee9e

Browse files
committed
Merge branch 'main' into lcartey/update-to-2.11
2 parents a9b1557 + cb9c314 commit 368ee9e

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)