From 6c4665efbe714d862e7979831b095bc83902cd54 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Fri, 29 Nov 2019 13:01:47 +0100
Subject: [PATCH] Fix DrAstRunner.
---
.../main/java/de/tudresden/inf/st/statemachine/DrAstRunner.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/statemachine.drast/src/main/java/de/tudresden/inf/st/statemachine/DrAstRunner.java b/statemachine.drast/src/main/java/de/tudresden/inf/st/statemachine/DrAstRunner.java
index 91c5a03..fef307c 100644
--- a/statemachine.drast/src/main/java/de/tudresden/inf/st/statemachine/DrAstRunner.java
+++ b/statemachine.drast/src/main/java/de/tudresden/inf/st/statemachine/DrAstRunner.java
@@ -37,7 +37,7 @@ public class DrAstRunner extends DrASTGUI {
private static void openView() {
guiHasBeenCreated = true;
- DrASTSettings.put(DrASTSettings.PREV_JAR, "../statemachine.base/build/libs/statemachine-0.1.jar");
+ DrASTSettings.put(DrASTSettings.PREV_JAR, "../statemachine.base/build/libs/statemachine.base-0.1.jar");
DrASTSettings.put(DrASTSettings.PREV_TAIL_ARGS, "-Dlog4j2.disable.jmx=true");
launch();
con.onApplicationClose();
--
GitLab