diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 64da84cf..78e63340 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -41,7 +41,7 @@ import simulator.*; public class Prism implements PrismSettingsListener { // prism version - private static final String version = "3.1.beta1"; + private static final String version = "3.1.dev"; //------------------------------------------------------------------------------ // Constants