From d2981d20dada3aac032dffbd25711893a3dea0e6 Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Tue, 25 Jan 2022 12:41:45 +0000
Subject: Update lockfile.json

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

diff --git a/lockfile.json b/lockfile.json
index 4348a1aa..297725a3 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -255,7 +255,7 @@
     "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4"
   },
   "tlaplus": {
-    "revision": "c8bc17023f03d62bd3d01adcfae2c9ca5820a9fd"
+    "revision": "f99f369f4b907108ac35cc49a56b7c8602f8332d"
   },
   "toml": {
     "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e"
-- 
cgit v1.2.3