Fix soot initialization (#1090)

sergeypospelov · web-flow · commit d447c8636967 · 2022-10-05T10:01:46.000Z
diff --git 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.20
 log4j2Version=2.13.3
 coroutinesVersion=1.6.3
