From 9b480da36790ea8314b77cf97ecaf7653afb3a1a Mon Sep 17 00:00:00 2001
From: Lokathor <zefria@gmail.com>
Date: Sat, 25 May 2024 17:44:48 -0600
Subject: [PATCH] It seems that anchor names are implicitly all lowercase

---
 library/core/src/option.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/core/src/option.rs b/library/core/src/option.rs
index 1fb65c845aff6..9a527073602e6 100644
--- a/library/core/src/option.rs
+++ b/library/core/src/option.rs
@@ -143,7 +143,7 @@
 //! [`num::NonZero*`]: crate::num
 //! [`ptr::NonNull<U>`]: crate::ptr::NonNull
 //! [function call ABI]: ../primitive.fn.html#abi-compatibility
-//! [result_repr]: crate::result#Representation
+//! [result_repr]: crate::result#representation
 //!
 //! This is called the "null pointer optimization" or NPO.
 //!