From 2bb25e95edb9964f7037c00d33ba79e07c2335f0 Mon Sep 17 00:00:00 2001
From: Florian Bartels <108917393+flba-eb@users.noreply.github.com>
Date: Wed, 26 Feb 2025 15:36:45 +0100
Subject: [PATCH] Convert raw URL to link

---
 docs/src/undefined-behaviour.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/undefined-behaviour.md b/docs/src/undefined-behaviour.md
index 8d883b1e4152..1089b32342af 100644
--- a/docs/src/undefined-behaviour.md
+++ b/docs/src/undefined-behaviour.md
@@ -24,7 +24,7 @@ A non-exhaustive list of these, based on the non-exhaustive list from the [Rust
 
 * Data races. 
     * Kani focuses on sequential code.
-* Breaking the pointer aliasing rules (http://llvm.org/docs/LangRef.html#pointer-aliasing-rules). 
+* Breaking the [pointer aliasing rules](http://llvm.org/docs/LangRef.html#pointer-aliasing-rules). 
     * Kani can detect if misuse of pointers causes memory safety or assertion violations, but does not track reference lifetimes.
 * Mutating immutable data.
     * Kani can detect if modification of immutable data causes memory safety or assertion violations, but does not track reference lifetimes.