From 9eb8a909e1cee5a00ec7daccaa47e4abc13453ca Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 22 Nov 2013 12:01:55 +0000
Subject: [PATCH] Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7629 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/strat/MDStrategyIV.java | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/prism/src/strat/MDStrategyIV.java b/prism/src/strat/MDStrategyIV.java
index adad6483..d083de0f 100644
--- a/prism/src/strat/MDStrategyIV.java
+++ b/prism/src/strat/MDStrategyIV.java
@@ -28,12 +28,9 @@ package strat;
 
 import java.util.List;
 
-import dv.IntegerVector;
-import explicit.MDP;
-
 import prism.Model;
 import prism.PrismLog;
-import strat.Strategy.Choice;
+import dv.IntegerVector;
 
 /**
  * Class to store a memoryless deterministic (MD) strategy, as an IntegerVector (i.e. stored natively as an array).