diff options
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 b5d2521b0..4afdcb34c 100644 --- a/lockfile.json +++ b/lockfile.json @@ -186,7 +186,7 @@ "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, "tlaplus": { - "revision": "36e7863609f5fbb4b0e39b1a035f5b3245f974f6" + "revision": "63ab99903cce883e8db392888c526fe2ffd00b1a" }, "toml": { "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e" |