diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 26432c12..6d0971a0 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -51,9 +51,9 @@ import prism.Model; public class Prism implements PrismSettingsListener { // prism version - private static String version = "4.0.1"; + private static String version = "4.0.2"; // prism version suffix - private static String versionSuffix = ".dev"; //".rXXXX";; + //private static String versionSuffix = ".dev"; //".rXXXX";; //------------------------------------------------------------------------------ // Constants