From ad13e4e4995e095900e9cd54d7c8d2dd66ab63d8 Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Wed, 4 Sep 2024 15:32:08 +0000
Subject: [PATCH] Update ujson, upickle to 4.0.1

---
 project/Dependencies.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/project/Dependencies.scala b/project/Dependencies.scala
index ec0a33d5f1..05b5431414 100644
--- a/project/Dependencies.scala
+++ b/project/Dependencies.scala
@@ -34,8 +34,8 @@ object Dependencies {
     val slf4j = "org.slf4j" % "slf4j-api" % "2.0.16"
     val shapeless = "com.chuusai" %% "shapeless" % "2.3.12"
     val tla2tools = "org.lamport" % "tla2tools" % "1.7.0-SNAPSHOT"
-    val ujson = "com.lihaoyi" %% "ujson" % "4.0.0"
-    val upickle = "com.lihaoyi" %% "upickle" % "4.0.0"
+    val ujson = "com.lihaoyi" %% "ujson" % "4.0.1"
+    val upickle = "com.lihaoyi" %% "upickle" % "4.0.1"
     val z3 = "tools.aqua" % "z3-turnkey" % "4.13.0"
     val zio = "dev.zio" %% "zio" % zioVersion
     // Keep up to sync with version in plugins.sbt