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 91c5a030746fafcd687b31b3c57ac43da5f6c495..fef307c649327601a3fef8500b93d83cbec9ece9 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();