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;