diff --git a/tree-sitter-tlaplus/js/playground.js b/tree-sitter-tlaplus/js/playground.js index 137bb35..c14bf0f 100644 --- a/tree-sitter-tlaplus/js/playground.js +++ b/tree-sitter-tlaplus/js/playground.js @@ -181,7 +181,7 @@ let tree; } else { fieldName = ''; } - row = `