From 11523f2cc95c12ba2a788db21a74eb1cf5271223 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 14:34:20 +0200
Subject: [PATCH] Fix JUnit jar version in build.gradle
---
tlatools/build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index aa3f49f4d..8aa82b3ea 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -15,7 +15,7 @@ repositories {
dependencies {
implementation(files('lib/javax.mail.jar'))
- testImplementation(files('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.8.2.jar', 'lib/javax.mail.jar'))
+ testImplementation(files('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.12.jar', 'lib/javax.mail.jar'))
}
sourceSets {
--
GitLab