diff --git a/gradle.properties b/gradle.properties index ae47d907d9..bfed176dd4 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.20 log4j2Version=2.13.3 coroutinesVersion=1.6.3