From 4a2667ff7d532d0b5c1c9d52d377693c5e1ddd2d Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Thu, 29 Jun 2023 23:32:41 +0100
Subject: Better name

---
 src/menu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/menu.c b/src/menu.c
index ac5bcfc..3cfdbce 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -32,7 +32,7 @@ static void render_menu()
 
 /* names of the cast */
 static const char *names[CAST_LEN] = {
-    "THE MINER",
+    "MINER",
     "SNAKEY",
     "BATTY",
     "OLD MINER",
-- 
cgit v1.2.3