Changing visibility in Updater

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7278 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/simulator/Updater.java

@@ -267,7 +267,7 @@ public class Updater
 	 * @param m The module index
 	 * @param state State from which to explore
 	 */
-	private void calculateUpdatesForModule(int m, State state) throws PrismLangException
+	protected void calculateUpdatesForModule(int m, State state) throws PrismLangException
 	{
 		Module module;
 		Command command;