From faaecd37e462f867b154d3f874e65970463f10b5 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Tue, 24 Mar 2026 11:38:45 -0600
Subject: [PATCH] Typo

---
 tools/programs/shuttle.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/programs/shuttle.md b/tools/programs/shuttle.md
index 5399104..ecb5dd6 100644
--- a/tools/programs/shuttle.md
+++ b/tools/programs/shuttle.md
@@ -1,7 +1,7 @@
 +++
 date = 2025-07-10
 draft = false
-title = 'Loom'
+title = 'Shuttle'
 subtitle = 'Rust Verifier'
 links = [
     # { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },