From 931053dce595e835fa232f4dd33ebc64d6f31930 Mon Sep 17 00:00:00 2001
From: Sergey Pospelov <sergeypospelov59@gmail.com>
Date: Wed, 5 Oct 2022 14:36:58 +0800
Subject: [PATCH] Update soot commit

---
 gradle.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle.properties b/gradle.properties
index 3a1dc33f81..b4affdfb0b 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -13,7 +13,7 @@ junit4PlatformVersion=1.9.0
 mockitoVersion=3.5.13
 z3Version=4.8.9.1
 z3JavaApiVersion=4.8.9
-sootCommitHash=1f34746
+sootCommitHash=3adf23c3
 kotlinVersion=1.7.10
 log4j2Version=2.13.3
 coroutinesVersion=1.6.3