Version number: 3.1.

prismmodelchecker · Jul 21, 2021 · 67cd01b · 67cd01b
1 parent a79944a
commit 67cd01b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prism/src/prism/Version.java b/prism/src/prism/Version.java
@@ -3,9 +3,9 @@
 public class Version
 {
 	/** PRISM extension version (e.g. "2.0"). Just a single string (will be extracted by scripts). */
-	public static String versionExtensionString = "3.0";
+	public static String versionExtensionString = "3.1";
 	/** Optional PRISM extension version suffix (e.g. "", "dev", "beta"). Just a single string (will be extracted by scripts). */
-	public static String versionExtensionSuffixString = "dev";
+	public static String versionExtensionSuffixString = "";
 
 	/** PRISM version (e.g. "4.0.3"). Just a single string (will be extracted by scripts). */
 	public static String versionString = "4.7";