mirror of
https://github.com/github/codeql.git
synced 2026-05-01 19:55:15 +02:00
Merge pull request #11495 from intrigus-lgtm/patch-7
Docs: Add missing `language[monotonicAggregates]` annotation
This commit is contained in:
@@ -602,6 +602,7 @@ the distance of a node in a graph from the leaves as follows:
|
||||
|
||||
.. code-block:: ql
|
||||
|
||||
language[monotonicAggregates]
|
||||
int depth(Node n) {
|
||||
if not exists(n.getAChild())
|
||||
then result = 0
|
||||
|
||||
Reference in New Issue
Block a user