diff options
| author | Andrew Helwer <ahelwer@protonmail.com> | 2021-10-06 13:16:18 -0400 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2021-10-07 22:38:06 +0200 |
| commit | 6b82b26a742964bd93d022db134a4ac3a1a15a96 (patch) | |
| tree | c0360da374bdf5e946636334fc8bc7c079d598dd /lockfile.json | |
| parent | ecd9efd48611c42d7e51b50028788bf2b74b5c91 (diff) | |
Updated TLA+ grammar version and queries
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index ce5c7a31..cc0dcf0f 100644 --- a/lockfile.json +++ b/lockfile.json @@ -207,7 +207,7 @@ "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, "tlaplus": { - "revision": "d7d8c73035028edeb07cd3d9a50bcc635a186877" + "revision": "f1b5eafceab0d98b389033235e3d3edcc33490ba" }, "toml": { "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e" |