From df6aee3df987632783e03874bc7f4b0b912fcf1d Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 10 Dec 2018 10:20:48 +0100
Subject: [PATCH] ModelType: fix visibility of removeNondeterminism()

---
 prism/src/prism/ModelType.java | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/prism/src/prism/ModelType.java b/prism/src/prism/ModelType.java
index 680fdd52..6e5aa0e8 100644
--- a/prism/src/prism/ModelType.java
+++ b/prism/src/prism/ModelType.java
@@ -74,7 +74,7 @@ public enum ModelType
 		}
 
 		@Override
-		ModelType removeNondeterminism()
+		public ModelType removeNondeterminism()
 		{
 			return CTMC;
 		}
@@ -100,14 +100,14 @@ public enum ModelType
 		}
 
 		@Override
-		ModelType removeNondeterminism()
+		public ModelType removeNondeterminism()
 		{
 			return DTMC;
 		}
 	},
 	MDP("Markov decision process") {
 		@Override
-		ModelType removeNondeterminism()
+		public ModelType removeNondeterminism()
 		{
 			return DTMC;
 		}
@@ -127,7 +127,7 @@ public enum ModelType
 		}
 
 		@Override
-		ModelType removeNondeterminism()
+		public ModelType removeNondeterminism()
 		{
 			return DTMC;
 		}
@@ -140,7 +140,7 @@ public enum ModelType
 		}
 
 		@Override
-		ModelType removeNondeterminism()
+		public ModelType removeNondeterminism()
 		{
 			return DTMC;
 		}
@@ -229,7 +229,7 @@ public enum ModelType
 	 * If there is no nondeterminism (or the removal of nondeterminism is not supported),
 	 * returns the same model type.
 	 */
-	ModelType removeNondeterminism()
+	public ModelType removeNondeterminism()
 	{
 		// default: same model type
 		return this;