1 files changed, 1 insertions, 1 deletions

diff --git a/print.html b/print.html
index 071752f..9da4ae2 100644
--- a/print.html
+++ b/print.html
@@ -6216,7 +6216,7 @@ window.onload = () => {
     const filter = document.getElementById("filter");
 
     // Create buttons for each tag T.
-    ['arm', 'x86', 'clear'].forEach(T => {
+    ["arm", "x86", "clear"].forEach(T => {
         const btn = document.createElement("button");
         btn.innerHTML = T;
         btn.onclick = T === "clear"