From 85464b12802a7a3419bdfa00de91d4badc1bf077 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Dec 2012 15:05:33 +0000 Subject: [PATCH] Add svn rev to bet version num. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6252 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 3b611a05..6c09ae23 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -53,7 +53,7 @@ public class Prism implements PrismSettingsListener private static String version = "4.1"; // prism version suffix //private static String versionSuffix = ""; - private static String versionSuffix = ".beta1"; //".rXXXX"; + private static String versionSuffix = ".beta.r6251"; //------------------------------------------------------------------------------ // Constants