From 11de4fe4846dd6c54b28d7632caa513119ce749a Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Sat, 28 Sep 2024 17:47:43 +0000
Subject: [PATCH] Update ujson, upickle to 4.0.2

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

diff --git a/project/Dependencies.scala b/project/Dependencies.scala
index 574ff2cc52..0d9002c354 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.1"
-    val upickle = "com.lihaoyi" %% "upickle" % "4.0.1"
+    val ujson = "com.lihaoyi" %% "ujson" % "4.0.2"
+    val upickle = "com.lihaoyi" %% "upickle" % "4.0.2"
     val z3 = "tools.aqua" % "z3-turnkey" % "4.13.0"
     val zio = "dev.zio" %% "zio" % zioVersion
     // Keep up to sync with version in plugins.sbt