X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FDPORStateReducerWithSummary.java;fp=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FDPORStateReducerWithSummary.java;h=1de182034a014e31d77f6780f2052943ae1747b8;hb=14a0098503db9e9d6d379e9133275afe6efd15b4;hp=7cfab4d541b99d03572874320c5d161f487c9616;hpb=6ea412a2a11e413620d5f133e1ba2484d04f374e;p=jpf-core.git

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java b/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
index 7cfab4d..1de1820 100755
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
@@ -1069,8 +1069,7 @@ public class DPORStateReducerWithSummary extends ListenerAdapter {
     ArrayList<TransitionEvent> conflictTrace = conflictExecution.getExecutionTrace();
     HashMap<Integer, ReadWriteSet> confRWFieldsMap = conflictExecution.getReadWriteFieldsMap();
     // Skip if this event does not have any Read/Write set or the two events are basically the same event (number)
-    if (!confRWFieldsMap.containsKey(conflictChoice) ||
-            eventChoice == conflictTrace.get(conflictChoice).getChoice()) {
+    if (!confRWFieldsMap.containsKey(conflictChoice) || eventChoice == conflictTrace.get(conflictChoice).getChoice()) {
       return false;
     }
     // R/W set of choice/event that may have a potential conflict