X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FDPORStateReducer.java;h=0da718cb6e43f787387ddbd99b0fe446248dc955;hb=332b6623f6b5d4cd9119c61352c804ef78870889;hp=8e688cf833cf13700c0e9a645fd67b82677355a9;hpb=bc433bceff9ddb929e32b3cc80574763a9f804ed;p=jpf-core.git

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;
   }