From 879cdc5ab0b3db8d0f2b7e9759f2bd481b980812 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 1 Oct 2013 14:41:36 +0000
Subject: [PATCH] Remove duplicate handling of MDP soln method switches.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7497 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 9d33b501..17fcf989 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1501,14 +1501,6 @@ public class PrismCL implements PrismModelListener
 				else if (sw.equals("zerorewardcheck")) {
 					prism.setCheckZeroLoops(true);
 				}
-				// MDP solution method
-				else if (sw.equals("valiter")) {
-					prism.setMDPSolnMethod(Prism.MDP_VALITER);
-				} else if (sw.equals("politer")) {
-					prism.setMDPSolnMethod(Prism.MDP_POLITER);
-				} else if (sw.equals("modpoliter")) {
-					prism.setMDPSolnMethod(Prism.MDP_MODPOLITER);
-				}
 				// explicit-state model construction
 				else if (sw.equals("explicitbuild")) {
 					explicitbuild = true;