diff --git a/build.gradle b/build.gradle index 11c55fce79e88d8f0dffa348f30b49141c1d8f14..d0eff145835c1cf25905d9721e87f030994dff55 100644 --- a/build.gradle +++ b/build.gradle @@ -7,7 +7,7 @@ buildscript { } group 'de.tudresden.inf.st' -version '0.1' +version '0.2' apply plugin: 'java' apply plugin: 'java-library' diff --git a/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java b/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java index 0c2b66090a4e44d8827a31624528c70566c7481b..c86bd3a77382f52f1ac8941deb199c9577d17d8e 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java @@ -79,7 +79,6 @@ public class Main { // Print help/usage instructions private static void printUsage() { - System.out.println("Usage: java -jar MyApp.jar [options]"); System.out.println("Options:"); System.out.println(" --inhibitor <true|false> Enable or disable inhibitor flag (default: false)"); System.out.println(" --signal <true|false> Enable or disable signal flag (default: false)");