From acdc244c6ddf54ef00710149861211f7cda30d24 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 22 Nov 2023 19:34:07 -0800
Subject: [PATCH] [html] Add missing ;

---
 fiat-html/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fiat-html/main.js b/fiat-html/main.js
index 11437e15cc..171d9b57ca 100644
--- a/fiat-html/main.js
+++ b/fiat-html/main.js
@@ -7,7 +7,7 @@ document.addEventListener('DOMContentLoaded', function() {
     const stderrDiv = document.getElementById('stderrContainer');
     const stdoutBox = document.getElementById('stdout');
     const stderrBox = document.getElementById('stderr');
-    const versionBox = document.getElementById('version')
+    const versionBox = document.getElementById('version');
     const inputForm = document.getElementById('inputForm');
     const inputArgs = document.getElementById('inputArgs');
     const synthesizeButton = document.getElementById('synthesizeButton');