diff options
| author | Vasiliy Morkovkin <susliko@users.noreply.github.com> | 2022-01-26 00:02:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-25 21:02:20 +0000 |
| commit | 620cc936ad6b26c59bb2d888b3890bb8d06c50c7 (patch) | |
| tree | f6955d0e8ba51801779362d7b4d20fffd6331ab7 /queries/tlaplus/injections.scm | |
| parent | 1ea964a13c6bb24828188bdbccf133e5bc370269 (diff) | |
update TLA+ revision, add queries for PlusCal (#2344)
Diffstat (limited to 'queries/tlaplus/injections.scm')
| -rw-r--r-- | queries/tlaplus/injections.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/queries/tlaplus/injections.scm b/queries/tlaplus/injections.scm index 24bda1cb..4d0833e1 100644 --- a/queries/tlaplus/injections.scm +++ b/queries/tlaplus/injections.scm @@ -1,4 +1,4 @@ [ (comment) - (block_comment) + (block_comment_text) ] @comment |