From bfcafae27e4d8a511ab50a81decec6d96042eaf1 Mon Sep 17 00:00:00 2001 From: Konstantin Chukharev Date: Tue, 16 Jul 2024 17:00:29 +0300 Subject: [PATCH] Fix API-dependency on kotlinx-collections (#190) `persistentHashMapOf()` is being used as default argument in many places in PUBLIC classes, making the dependency on "kotlinx-collections-immutable" not "implementation", but "api". --- usvm-core/build.gradle.kts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/usvm-core/build.gradle.kts b/usvm-core/build.gradle.kts index 5f9da49172..cb3ae4d723 100644 --- a/usvm-core/build.gradle.kts +++ b/usvm-core/build.gradle.kts @@ -8,8 +8,8 @@ dependencies { api("io.ksmt:ksmt-core:${Versions.ksmt}") api("io.ksmt:ksmt-z3:${Versions.ksmt}") api("io.github.microutils:kotlin-logging:${Versions.klogging}") + api("org.jetbrains.kotlinx:kotlinx-collections-immutable-jvm:${Versions.collections}") - implementation("org.jetbrains.kotlinx:kotlinx-collections-immutable-jvm:${Versions.collections}") testImplementation("io.mockk:mockk:${Versions.mockk}") testImplementation("org.junit.jupiter:junit-jupiter-params:${Versions.junitParams}")