From 3ee741c78857bf8fa8fa87fc4a5691c680b840fd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 19 Jul 2011 03:45:48 +0000 Subject: [PATCH] Version num (4.0.1.dev). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3297 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 99a44951..14768ce2 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -53,7 +53,7 @@ public class Prism implements PrismSettingsListener // prism version private static String version = "4.0.1"; // prism version suffix - private static String versionSuffix = ""; // ".dev"; //".rXXXX";; + private static String versionSuffix = ".dev"; //".rXXXX";; //------------------------------------------------------------------------------ // Constants