From ab2d4d52c62005b3735e7b2114728d24a0154df9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 26 Mar 2012 10:22:30 +0000
Subject: [PATCH] Bug fix: only process adversary if generated (explicit).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4952 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/MDPModelChecker.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java
index 916af42e..19814a83 100644
--- a/prism/src/explicit/MDPModelChecker.java
+++ b/prism/src/explicit/MDPModelChecker.java
@@ -582,11 +582,11 @@ public class MDPModelChecker extends ProbModelChecker
 			throw new PrismException(msg);
 		}
 		
-		// Prune adversary
-		restrictAdversaryToReachableStates(mdp, adv);
-		
-		// Print adversary
+		// Process adversary
 		if (genAdv) {
+			// Prune adversary
+			restrictAdversaryToReachableStates(mdp, adv);
+			// Print adversary
 			PrismLog out = new PrismFileLog(exportAdvFilename);
 			out.print("Adv:");
 			for (i = 0; i < n; i++) {