From b9e9f333eedcfd8bbf8236666fc0a85b907214c5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 8 Dec 2009 10:30:58 +0000
Subject: [PATCH] Switched adversary generation back off.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1605 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/sparse/PS_NondetUntil.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/sparse/PS_NondetUntil.cc b/prism/src/sparse/PS_NondetUntil.cc
index 26601cec..fc17f557 100644
--- a/prism/src/sparse/PS_NondetUntil.cc
+++ b/prism/src/sparse/PS_NondetUntil.cc
@@ -82,7 +82,7 @@ jboolean min				// min or max probabilities (true = min, false = max)
 	long start1, start2, start3, stop;
 	double time_taken, time_for_setup, time_for_iters;
 	// adversary stuff
-	bool adv = true, adv_loop = false;
+	bool adv = false, adv_loop = false;
 	FILE *fp_adv = NULL;
 	int adv_l, adv_h;
 	int *actions;