From 4f07518fb9eecb59ca51f168ce5d890d0ad352e6 Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Tue, 22 Nov 2022 14:29:34 +0000
Subject: [PATCH] Update lockfile.json

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

diff --git a/lockfile.json b/lockfile.json
index 730b98ab7..4b4789f63 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -363,7 +363,7 @@
     "revision": "1ae8c68e90523b26b93af56feb7868fe4214e2b2"
   },
   "tiger": {
-    "revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5"
+    "revision": "a233ebe360a73a92c50978e5c4e9e471bc59ff42"
   },
   "tlaplus": {
     "revision": "deaf0e5c573ad4e2bbfc9a29abb7b6dcb572556e"