From 3674ec201664668402cd8ee890c45868c37d851e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 25 Jan 2011 21:39:03 +0000
Subject: [PATCH] Version number (4.0.beta).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2410 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 0e8754fd..269dec41 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -49,10 +49,9 @@ import pta.*;
 public class Prism implements PrismSettingsListener
 {
 	// prism version
-	private static String version = "4.0.alpha";
+	private static String version = "4.0.beta";
 	// prism version suffix
-	private static String rev = "$Rev: 2167$";
-	private static String versionSuffix = ".r" + rev.substring(6, rev.length() - 1);
+	private static String versionSuffix = ""; //".rXXXX";;
 	
 	//------------------------------------------------------------------------------
 	// Constants