From 5756d5f6bab45b82ce60f72ea8eeb89a151cc71a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 19 Mar 2008 20:36:41 +0000 Subject: [PATCH] Version number: 3.2.dev. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@702 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 622a2007..56e63195 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -46,7 +46,7 @@ import simulator.*; public class Prism implements PrismSettingsListener { // prism version - private static String version = "3.2.beta1"; + private static String version = "3.2.dev"; //------------------------------------------------------------------------------ // Constants