From 471f8ed9c147a9b84c6d2db005ca8267f78d97f2 Mon Sep 17 00:00:00 2001
From: Jendrik Stelzner <jendrikstelzner@web.de>
Date: Fri, 15 Aug 2025 08:02:44 +0200
Subject: [PATCH] Correct a level title.

---
 Game/Levels/IffIntro/L04.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Game/Levels/IffIntro/L04.lean b/Game/Levels/IffIntro/L04.lean
index cbdc389..656a0c3 100644
--- a/Game/Levels/IffIntro/L04.lean
+++ b/Game/Levels/IffIntro/L04.lean
@@ -4,7 +4,7 @@ open GameLogic
 
 World "IffIntro"
 Level 4
-Title "Iff_Intro"
+Title "Iff_mpr"
 
 OnlyTactic
   exact