From 9e0eeb5dcfb257727da9b55510858e53fba555c2 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Thu, 9 Apr 2020 16:29:40 -0700
Subject: [PATCH] Fixing a bug: java LinkedList needs removeFirst(), not
 getFirst() to get and remove a node from the queue.

---
 src/main/gov/nasa/jpf/listener/DPORStateReducer.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index f9d79c5..d8133e3 100644
--- 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()) {
-        int choice = nodesToVisit.getFirst();
+        int choice = nodesToVisit.removeFirst();
         if (choice == currEvent) {
           return true;
         }
-- 
2.34.1