From 797455a9b375329559d4165125c3af1d6637fe07 Mon Sep 17 00:00:00 2001 From: omahs <73983677+omahs@users.noreply.github.com> Date: Mon, 4 Sep 2023 10:11:40 +0200 Subject: [PATCH] fix typo --- docs/codeql/ql-language-reference/annotations.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/codeql/ql-language-reference/annotations.rst b/docs/codeql/ql-language-reference/annotations.rst index c87b479857e14..79389482dc12d 100644 --- a/docs/codeql/ql-language-reference/annotations.rst +++ b/docs/codeql/ql-language-reference/annotations.rst @@ -302,7 +302,7 @@ after join ordering. This can be useful to prevent the optimiser from choosing a sub-optimal join order. For instance, in the example below, the ``pragma[inline_late]`` and -``bindingset[x]`` annotations specifiy that calls to ``p`` should be join ordered +``bindingset[x]`` annotations specify that calls to ``p`` should be join ordered in a context where ``x`` is already bound. This forces the join orderer to order ``q(x)`` before ``p(x)``, which is more computationally efficient than ordering ``p(x)`` before ``q(x)``.