summaryrefslogtreecommitdiff
path: root/queries/tlaplus/injections.scm
diff options
context:
space:
mode:
authorAndrew Helwer <ahelwer@protonmail.com>2021-08-18 12:48:01 -0400
committerStephan Seitz <stephan.seitz@fau.de>2021-08-20 18:56:14 +0200
commitda2336ea80d4d2353fb9ee8301f1ef853c14f917 (patch)
tree4639d8398a5b50b5a0275df77899ec754a7cbfc2 /queries/tlaplus/injections.scm
parent955f19c64a9c7d395a856ce29d82775278d5e5ef (diff)
Added TLA+ grammar & queries
Diffstat (limited to 'queries/tlaplus/injections.scm')
-rw-r--r--queries/tlaplus/injections.scm4
1 files changed, 4 insertions, 0 deletions
diff --git a/queries/tlaplus/injections.scm b/queries/tlaplus/injections.scm
new file mode 100644
index 00000000..24bda1cb
--- /dev/null
+++ b/queries/tlaplus/injections.scm
@@ -0,0 +1,4 @@
+[
+ (comment)
+ (block_comment)
+] @comment