Adding missing 'add' into HashSet.

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index 8e688cf833cf13700c0e9a645fd67b82677355a9..0da718cb6e43f787387ddbd99b0fe446248dc955 100644 (file)
--- 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;
   }