From 1dbd0bde597aa176ae6fe467f8f7715371d6ab31 Mon Sep 17 00:00:00 2001
From: Google Colaboratory Team <colaboratory-team@google.com>
Date: Tue, 15 Oct 2024 06:16:25 -0700
Subject: [PATCH] No public description

PiperOrigin-RevId: 686078328
---
 google/colab/html/js/_html.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/google/colab/html/js/_html.js b/google/colab/html/js/_html.js
index c5a25be5..d321532f 100644
--- a/google/colab/html/js/_html.js
+++ b/google/colab/html/js/_html.js
@@ -51,7 +51,7 @@ function dotAccess(target, accessor) {
 }
 
 async function initialize(config) {
-  el = document.getElementById(config.guid);
+  const el = document.getElementById(config.guid);
   if (!el) {
     throw new Error(`No element found with id: ${guid}`);
   }