Fix ConcurrentModificationException reported by Jeff Walt <jeffwalt63…

…[email protected]>.
Rroscha · Jun 25, 2010 · e9cf682 · e9cf682
1 parent 773ee75
commit e9cf682
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/soot/jimple/toolkits/thread/mhp/SynchObliviousMhpAnalysis.java b/src/soot/jimple/toolkits/thread/mhp/SynchObliviousMhpAnalysis.java
@@ -282,7 +282,7 @@ public void run()
 		while(addedNew)
 		{
 			addedNew = false;
-			Iterator<AbstractRuntimeThread> it = runAtOnceCandidates.iterator();
+			ListIterator<AbstractRuntimeThread> it = runAtOnceCandidates.listIterator();
 			while(it.hasNext())
 			{
 				AbstractRuntimeThread someThread = it.next();
@@ -292,7 +292,7 @@ public void run()
 					MHPLists.add(someThread); // add a second copy of it
 					someThread.setStartMethodMayHappenInParallel();
 					someThread.setRunsMany();
-					runAtOnceCandidates.remove(someThread);
+					it.remove();
 					if(optionPrintDebug)
 						G.v().out.println(someThread.toString());
 					addedNew = true;