Bump version to 0.3.0 (#59)

WatForm · Sep 1, 2020 · 1fe9f9d · 1fe9f9d
1 parent 677d5a1
commit 1fe9f9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/Main.java b/src/core/Main.java
@@ -18,7 +18,7 @@ public class Main {
     private static String prevSessionLogPath;
 
     private static String PROGRAM_NAME = "Alloy Debugger (ALDB)";
-    private static String VERSION = "0.2.0";
+    private static String VERSION = "0.3.0";
     private static String PROGRAM_DESC = "A debugger for transition systems modelled in Alloy.";
 
     private static String RESTORE_FLAG_SHORT = "-r";