From 4acdf94c627d300eb6df0dcdd9d9ec9be6bb605a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Jul 2013 06:40:28 +0000
Subject: [PATCH] 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 | 2 ++
 1 file changed, 2 insertions(+)

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