diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 3f7239a2..8788d971 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -1157,7 +1157,7 @@ public class NondetModelChecker extends NonProbModelChecker
 	 * @param qual True if only qualititative (0/1) results are needed
 	 * @param min Min or max probabilities (true=min, false=max)
 	 */
-	protected StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual, boolean min) throws PrismException
+	public StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual, boolean min) throws PrismException
 	{
 		JDDNode splus, newb1, newb2;
 		StateValues probs = null;
diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 22d909c0..4e775e73 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -807,7 +807,7 @@ public class ProbModelChecker extends NonProbModelChecker
 	 * @param qual perform qualitative model checking?
 	 * <br>[ REFS: <i>result</i>, DEREFS: <i>none</i> ]
 	 */
-	protected StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual) throws PrismException
+	public StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual) throws PrismException
 	{
 		StateValues probs = null;