From 4c40047b470acc2bf9252c4019848c7d0bf2d3db Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 30 Jan 2012 11:10:09 +0000 Subject: [PATCH] Version num git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4520 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 fc825232..b05698da 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -51,7 +51,7 @@ import prism.Model; public class Prism implements PrismSettingsListener { // prism version - private static String version = "4.0.2"; + private static String version = "4.0.3"; // prism version suffix //private static String versionSuffix = ""; private static String versionSuffix = ".dev"; //".rXXXX";