From e3f120815f0d8cd1c249a181d45952e3f6d56b50 Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Sat, 10 Aug 2013 01:13:03 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/simulator/Updater.java b/prism/src/simulator/Updater.java
index a4b05ac7..54b833f2 100644
--- a/prism/src/simulator/Updater.java
+++ b/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;