fix user name when displaying leaderboard

1 files changed, 1 insertions, 1 deletions

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');