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