From 3ae2ee323cab54fcbe481f68fc828ec4b584cc33 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 15 Jul 2015 22:17:35 +0000
Subject: [PATCH] Remove unnecessary adversary generation from PTA backwards
 reachability.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10310 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/pta/BackwardsReach.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/pta/BackwardsReach.java b/prism/src/pta/BackwardsReach.java
index 0d498b5d..8b6fe214 100644
--- a/prism/src/pta/BackwardsReach.java
+++ b/prism/src/pta/BackwardsReach.java
@@ -66,7 +66,6 @@ public class BackwardsReach extends PrismComponent
 
 		// Compute reachability probs on MDP
 		MDPModelChecker mc = new MDPModelChecker(this);
-		mc.setExportAdv(true);
 		mc.setPrecomp(false);
 		ModelCheckerResult res = mc.computeReachProbs(mdp, graph.getTarget(), false);