From da2336ea80d4d2353fb9ee8301f1ef853c14f917 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@protonmail.com>
Date: Wed, 18 Aug 2021 12:48:01 -0400
Subject: Added TLA+ grammar & queries

---
 lockfile.json | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lockfile.json')

diff --git a/lockfile.json b/lockfile.json
index 3a29bac8..b5d2521b 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -185,6 +185,9 @@
   "teal": {
     "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4"
   },
+  "tlaplus": {
+    "revision": "36e7863609f5fbb4b0e39b1a035f5b3245f974f6"
+  },
   "toml": {
     "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e"
   },
-- 
cgit v1.2.3