From ac532961dfd5aacdc59e2b71219ff9a189e0e933 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 21 Dec 2017 02:19:25 +0100
Subject: [PATCH] Fix JS code in htmlgen.py

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---
 htmlgen/htmlgen.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htmlgen/htmlgen.py b/htmlgen/htmlgen.py
index 34482350..6099886e 100755
--- a/htmlgen/htmlgen.py
+++ b/htmlgen/htmlgen.py
@@ -305,7 +305,7 @@ function ome(bit) {
             if (!(b in highlight_cache)) {
                 el = document.getElementById("bit" + b);
                 highlight_cache[b] = el.bgColor;
-                el.bgColor = "#ffffff"
+                el.bgColor = "#ffffff";
                 highlight_bits.push(b);
             }
         }