From 8b31694f820d535bed977fbb48350df571051c5c Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Mon, 19 Feb 2024 21:04:48 +0000
Subject: [PATCH] Update ujson, upickle to 3.1.5

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

diff --git a/project/Dependencies.scala b/project/Dependencies.scala
index 7269810ae5..89fb432df1 100644
--- a/project/Dependencies.scala
+++ b/project/Dependencies.scala
@@ -34,8 +34,8 @@ object Dependencies {
     val slf4j = "org.slf4j" % "slf4j-api" % "2.0.11"
     val shapeless = "com.chuusai" %% "shapeless" % "2.3.10"
     val tla2tools = "org.lamport" % "tla2tools" % "1.7.0-SNAPSHOT"
-    val ujson = "com.lihaoyi" %% "ujson" % "3.1.4"
-    val upickle = "com.lihaoyi" %% "upickle" % "3.1.4"
+    val ujson = "com.lihaoyi" %% "ujson" % "3.1.5"
+    val upickle = "com.lihaoyi" %% "upickle" % "3.1.5"
     val z3 = "tools.aqua" % "z3-turnkey" % "4.12.4"
     val zio = "dev.zio" %% "zio" % zioVersion
     // Keep up to sync with version in plugins.sbt