[html] Add missing ;

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