diff --git a/src/content/posts/2024-06-11-logical-relations.lagda.md b/src/content/posts/2024-06-11-logical-relations.lagda.md
index f7a22b8..8d310a4 100644
--- a/src/content/posts/2024-06-11-logical-relations.lagda.md
+++ b/src/content/posts/2024-06-11-logical-relations.lagda.md
@@ -1,6 +1,6 @@
 ---
 title: "Logical Relations"
-slug: 2024-06-11-path-induction-gadt-perspective
+slug: 2024-06-11-logical-relations
 date: 2024-06-11
 tags: ["programming-languages", "formal-verification"]
 draft: true