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

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