From 43eee2b4b37c49413a87310fba5886deb04bb034 Mon Sep 17 00:00:00 2001 From: Chuan-kai Lin Date: Mon, 11 Sep 2023 10:37:15 -0700 Subject: [PATCH] Document assume_small_delta deprecation --- docs/codeql/ql-language-reference/annotations.rst | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/codeql/ql-language-reference/annotations.rst b/docs/codeql/ql-language-reference/annotations.rst index c87b479857e..f99a9dc2e18 100644 --- a/docs/codeql/ql-language-reference/annotations.rst +++ b/docs/codeql/ql-language-reference/annotations.rst @@ -435,9 +435,11 @@ For more information, see ":ref:`Binding `." **Available for**: |characteristic predicates|, |member predicates|, |non-member predicates| -The ``pragma[assume_small_delta]`` annotation changes the compilation of the annotated recursive predicate. -If the compiler normally generates the join orders ``order_<1>``, ``order_<2>``, ``order_<3>``, and ``standard_order``, -applying this annotation makes ``standard_order`` the same as ``order_<3>`` and removes the (now redundant) ``order_<3>`` join order. +.. pull-quote:: Important + + This annotation is deprecated. + +The ``pragma[assume_small_delta]`` annotation has no effect and can be safely removed. .. _language: