From ef5f6db0ad4b7e210bf7229a8cecf140ab1837c9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 16 Oct 2011 19:49:27 +0000 Subject: [PATCH] Re-instate .dev version suffix git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3999 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 90fe9d32..9ef83c29 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -53,7 +53,8 @@ public class Prism implements PrismSettingsListener // prism version private static String version = "4.0.2"; // prism version suffix - private static String versionSuffix = ""; //".dev"; //".rXXXX";; + //private static String versionSuffix = ""; + private static String versionSuffix = ".dev"; //".rXXXX"; //------------------------------------------------------------------------------ // Constants