From b54e3e6c989a2b4b95d6405fccbb2ab2dc450f24 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Mon, 27 Jun 2022 12:07:13 -0700 Subject: [PATCH] Update src/librustdoc/html/static/js/externs.js Co-authored-by: Guillaume Gomez --- src/librustdoc/html/static/js/externs.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librustdoc/html/static/js/externs.js b/src/librustdoc/html/static/js/externs.js index 141d76d59e1..23947d002ab 100644 --- a/src/librustdoc/html/static/js/externs.js +++ b/src/librustdoc/html/static/js/externs.js @@ -83,7 +83,7 @@ let ResultsTable; let Results; /** - * A pair of [inputs, outputs], or 0 for null. This is gets stored in the search index. + * A pair of [inputs, outputs], or 0 for null. This is stored in the search index. * The JavaScript deserializes this into FunctionSearchType. * * An input or output can be encoded as just a number if there is only one of them, AND