From 6b82b26a742964bd93d022db134a4ac3a1a15a96 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@protonmail.com>
Date: Wed, 6 Oct 2021 13:16:18 -0400
Subject: Updated TLA+ grammar version and queries

---
 lockfile.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lockfile.json')

diff --git a/lockfile.json b/lockfile.json
index ce5c7a310..cc0dcf0f8 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -207,7 +207,7 @@
     "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4"
   },
   "tlaplus": {
-    "revision": "d7d8c73035028edeb07cd3d9a50bcc635a186877"
+    "revision": "f1b5eafceab0d98b389033235e3d3edcc33490ba"
   },
   "toml": {
     "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e"
-- 
cgit v1.2.3-70-g09d2