From d7c2cf562ffdc9eecde8ead2111aa3c143b0fc65 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Wed, 27 Dec 2023 11:40:07 +0100
Subject: [PATCH] fix: hot reloading

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

diff --git a/website/src/repl/Repl2.jsx b/website/src/repl/Repl2.jsx
index ccd46c94..4a899726 100644
--- a/website/src/repl/Repl2.jsx
+++ b/website/src/repl/Repl2.jsx
@@ -128,6 +128,7 @@ export function Repl2({ embedded = false }) {
     }
     return () => {
       editorRef.current?.clear();
+      delete editorRef.current;
     };
   }, []);