diff --git a/pkgs/racket-index/scribblings/main/private/search-merge.js b/pkgs/racket-index/scribblings/main/private/search-merge.js index a4c78c22d6..039c4140e9 100644 --- a/pkgs/racket-index/scribblings/main/private/search-merge.js +++ b/pkgs/racket-index/scribblings/main/private/search-merge.js @@ -33,7 +33,7 @@ var i = 0, j = 0; var ilen = plt_search_data.length; var jlen = plt_user_search_data.length; - var result = [] + var result = []; while ((i < ilen) || (j < jlen)) { if (j >= jlen) { if (rev_map[i]) plt_manual_ptrs[rev_map[i]] = result.length;