Skip to content

Commit 43eee2b

Browse files
committed
Document assume_small_delta deprecation
1 parent b291ee3 commit 43eee2b

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

docs/codeql/ql-language-reference/annotations.rst

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -435,9 +435,11 @@ For more information, see ":ref:`Binding <binding>`."
435435

436436
**Available for**: |characteristic predicates|, |member predicates|, |non-member predicates|
437437

438-
The ``pragma[assume_small_delta]`` annotation changes the compilation of the annotated recursive predicate.
439-
If the compiler normally generates the join orders ``order_<1>``, ``order_<2>``, ``order_<3>``, and ``standard_order``,
440-
applying this annotation makes ``standard_order`` the same as ``order_<3>`` and removes the (now redundant) ``order_<3>`` join order.
438+
.. pull-quote:: Important
439+
440+
This annotation is deprecated.
441+
442+
The ``pragma[assume_small_delta]`` annotation has no effect and can be safely removed.
441443

442444
.. _language:
443445

0 commit comments

Comments
 (0)