From 5fabc5c7f9371b904861496752efefe50c36493e Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Fri, 18 Aug 2023 23:53:37 +0200
Subject: [PATCH] let to const

---
 website/src/repl/Repl.jsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/src/repl/Repl.jsx b/website/src/repl/Repl.jsx
index 71d8a98f..aa83317d 100644
--- a/website/src/repl/Repl.jsx
+++ b/website/src/repl/Repl.jsx
@@ -114,7 +114,7 @@ export function Repl({ embedded = false }) {
   const [view, setView] = useState(); // codemirror view
   const [lastShared, setLastShared] = useState();
   const [pending, setPending] = useState(true);
-  let {
+  const {
     theme,
     keybindings,
     fontSize,