From b5f61469ad0ab550e0f8f2c1aaf434e8101ed946 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 4 Mar 2024 12:16:12 +0100 Subject: [PATCH] Use Groovy-less variant of ProB Java API --- build.gradle.kts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle.kts b/build.gradle.kts index 62986e2..628731d 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -32,7 +32,7 @@ dependencies { testImplementation("org.junit.jupiter", "junit-jupiter-engine", "5.10.2") implementation(platform("de.hhu.stups:prob-java-bom:4.13.0")) - implementation("de.hhu.stups", "de.prob2.kernel") + implementation("de.hhu.stups", "prob-java") } java { -- GitLab