From 00361a5d182d3e4c5f8c567f42b6d42d068e78e9 Mon Sep 17 00:00:00 2001 From: Alessio Coser Date: Thu, 6 Aug 2020 17:35:05 +0200 Subject: [PATCH] updates daikon-core --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 95aa422..463f4ec 100644 --- a/build.gradle +++ b/build.gradle @@ -14,7 +14,7 @@ dependencies { compile 'org.eclipse.jetty:jetty-server:9.4.27.v20200227' compile 'org.eclipse.jetty:jetty-servlet:9.4.27.v20200227' - compile 'com.github.DaikonWeb:daikon-core:1.3.4' + compile 'com.github.DaikonWeb:daikon-core:1.4.0' testImplementation 'org.jetbrains.kotlinx:kotlinx-coroutines-core:1.3.2' testImplementation 'org.junit.jupiter:junit-jupiter-api:5.5.2'