diff --git a/prism/src/explicit/ProbModelChecker.java b/prism/src/explicit/ProbModelChecker.java
index 6024c782..f9bc14cc 100644
--- a/prism/src/explicit/ProbModelChecker.java
+++ b/prism/src/explicit/ProbModelChecker.java
@@ -220,6 +220,8 @@ public class ProbModelChecker extends StateModelChecker
 	public void inheritSettings(ProbModelChecker other)
 	{
 		super.inheritSettings(other);
+		setLinEqMethod(other.getLinEqMethod());
+		setMDPSolnMethod(other.getMDPSolnMethod());
 		setTermCrit(other.getTermCrit());
 		setTermCritParam(other.getTermCritParam());
 		setMaxIters(other.getMaxIters());