From fb04c6733601947aef23105d70cb138dc621078f Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 07:29:36 +0100
Subject: fix user name when displaying leaderboard

---
 lambda-calcul/haskell/public/leaderboard.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lambda-calcul')

diff --git a/lambda-calcul/haskell/public/leaderboard.js b/lambda-calcul/haskell/public/leaderboard.js
index 63dcfde..b1ba07a 100644
--- a/lambda-calcul/haskell/public/leaderboard.js
+++ b/lambda-calcul/haskell/public/leaderboard.js
@@ -14,7 +14,7 @@ const updateLeaderboard = () => {
         const row = document.createElement('tr');
 
         const nameCell = document.createElement('td');
-        nameCell.textContent = entry.name;
+        nameCell.textContent = entry.user;
         row.appendChild(nameCell);
 
         const scoreCell = document.createElement('td');
-- 
cgit v1.3.1