From 8a21231394dbc4e8c41c3ee62951b1042f1aefee Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 4 Mar 2024 12:15:41 +0100
Subject: [PATCH] Update ProB Java API to version 4.13.0
---
build.gradle.kts | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/build.gradle.kts b/build.gradle.kts
index c77473a..62986e2 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -31,7 +31,8 @@ dependencies {
// https://mvnrepository.com/artifact/org.junit.jupiter/junit-jupiter-api
testImplementation("org.junit.jupiter", "junit-jupiter-engine", "5.10.2")
- implementation("de.hhu.stups:de.prob2.kernel:4.12.1")
+ implementation(platform("de.hhu.stups:prob-java-bom:4.13.0"))
+ implementation("de.hhu.stups", "de.prob2.kernel")
}
java {
--
GitLab