From 38644a22b3e864ba44ca7c02dd4167bd3fd7f96f Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 20:26:01 +0200
Subject: [PATCH] Remove commented out de.prob.core.kernel dependency
---
build.gradle | 2 --
1 file changed, 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 9fdf661..e2f4075 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,8 +37,6 @@ dependencies {
implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
- //implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
-
testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3')
}
--
GitLab