Merge branch 'topic/bbannier/issue-45'

zeek · Jan 23, 2025 · b21245d · b21245d
2 parents 40cd85e + 48ac8d3
commit b21245d
Show file tree

Hide file tree

Showing 5 changed files with 80,954 additions and 80,613 deletions.
diff --git a/grammar.js b/grammar.js
@@ -258,6 +258,7 @@ module.exports = grammar({
           "&is_used",
           "&log",
           "&optional",
+          "&ordered",
           "&raw_output",
           "&redef",
           seq("&add_func", "=", $.expr),

diff --git a/src/grammar.json b/src/grammar.json
diff --git a/src/node-types.json b/src/node-types.json