Merge pull request #16580 from github/ginsbach/MonotonicAggregateModules

`monotonicAggregates` can apply to modules (see language spec)
github · May 23, 2024 · 4fbbda5 · 4fbbda5
2 parents c0d623c + 1129df9
commit 4fbbda5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/codeql/ql-language-reference/annotations.rst b/docs/codeql/ql-language-reference/annotations.rst
@@ -446,7 +446,7 @@ The ``pragma[assume_small_delta]`` annotation has no effect and can be safely re
 Language pragmas
 ================
 
-**Available for**: |classes|, |characteristic predicates|, |member predicates|, |non-member predicates|
+**Available for**: |modules|, |classes|, |characteristic predicates|, |member predicates|, |non-member predicates|
 
 ``language[monotonicAggregates]``
 ---------------------------------