diff --git a/libsrc/ffdec_lib/src/com/jpexs/decompiler/graph/GraphPart.java b/libsrc/ffdec_lib/src/com/jpexs/decompiler/graph/GraphPart.java index 2998bf3c8..0f1c966e0 100644 --- a/libsrc/ffdec_lib/src/com/jpexs/decompiler/graph/GraphPart.java +++ b/libsrc/ffdec_lib/src/com/jpexs/decompiler/graph/GraphPart.java @@ -19,6 +19,7 @@ package com.jpexs.decompiler.graph; import com.jpexs.decompiler.flash.BaseLocalData; import java.io.Serializable; import java.util.ArrayList; +import java.util.HashSet; import java.util.List; /** @@ -123,7 +124,7 @@ public class GraphPart implements Serializable { return time; } - private boolean leadsTo(BaseLocalData localData, Graph gr, GraphSource code, GraphPart part, List visited, List loops) throws InterruptedException { + private boolean leadsTo(BaseLocalData localData, Graph gr, GraphSource code, GraphPart part, HashSet visited, List loops) throws InterruptedException { if (Thread.currentThread().isInterrupted()) { throw new InterruptedException(); } @@ -192,7 +193,7 @@ public class GraphPart implements Serializable { for (Loop l : loops) { l.leadsToMark = 0; } - return leadsTo(localData, gr, code, part, new ArrayList<>(), loops); + return leadsTo(localData, gr, code, part, new HashSet<>(), loops); } public GraphPart(int start, int end) {