From 25f5ef95e3c03a5a87ba2474428a08a30aa0bdcc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 17 Nov 2006 09:14:25 +0000 Subject: [PATCH] Removed "final" from Prism.version field (so that we can add suffixes etc. at code level, e.g. for branches). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@157 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 78e63340..d87ba4de 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.dev"; + private static String version = "3.1.dev"; //------------------------------------------------------------------------------ // Constants