From 332b6623f6b5d4cd9119c61352c804ef78870889 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Fri, 10 Jul 2020 11:07:48 -0700
Subject: [PATCH] Adding missing 'add' into HashSet.

---
 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 8e688cf..0da718c 100644
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@ -1038,9 +1038,9 @@ public class DPORStateReducer extends ListenerAdapter {
       }
     } else {
       choiceSet = new HashSet<>();
-      choiceSet.add(firstChoice);
       doneBacktrackMap.put(stateId, choiceSet);
     }
+    choiceSet.add(firstChoice);
 
     return false;
   }
-- 
2.34.1