From 088993d994944e66508fa78ead2dd6da48fd0eff Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 8 Jan 2020 00:25:14 +0100
Subject: [PATCH] update jastadd to 2.3.4

---
 statemachine/build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/statemachine/build.gradle b/statemachine/build.gradle
index 1139190..74b28a0 100644
--- a/statemachine/build.gradle
+++ b/statemachine/build.gradle
@@ -39,7 +39,7 @@ task cleanRagdoc(type: Delete) {
 
 dependencies {
     compile 'org.jgrapht:jgrapht-core:1.3.1'
-    compile 'org.jastadd:jastadd:2.3.2'
+    compile 'org.jastadd:jastadd:2.3.4'
     testImplementation 'org.junit.jupiter:junit-jupiter-api:5.4.0'
     testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.4.0'
     testImplementation 'org.junit.jupiter:junit-jupiter-params:5.4.0'
-- 
GitLab