Fix: settings omitted in inheritSettings in ProbModelChecker.

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

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());