Fixing a bug: java LinkedList needs removeFirst(), not getFirst() to get and remove...

[jpf-core.git] / src / main / gov / nasa / jpf / listener / DPORStateReducer.java

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index f9d79c5a27d160515657424b83a7fd88388afa4c..d8133e397a43c38622abbd0f64577ba64ccbffaa 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@ -792,7 +792,7 @@ public class DPORStateReducer extends ListenerAdapter {
     if (vodGraphMap.containsKey(prevEvent)) {
       nodesToVisit.addAll(vodGraphMap.get(prevEvent));
       while(!nodesToVisit.isEmpty()) {
     if (vodGraphMap.containsKey(prevEvent)) {
       nodesToVisit.addAll(vodGraphMap.get(prevEvent));
       while(!nodesToVisit.isEmpty()) {

-        int choice = nodesToVisit.getFirst();
+        int choice = nodesToVisit.removeFirst();

         if (choice == currEvent) {
           return true;
         }
         if (choice == currEvent) {
           return true;
         }