Fixing a bug

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index 75a16c277da75c149deacc850b47acdd1bbc5275..1f2fa7d1b95eadb04adac11957017c8bc5c6ecbb 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -201,7 +201,7 @@ public class ConflictTracker extends ListenerAdapter {
                     if ((value != null)&&(writer != null)) {
                         if (!value.equals(i.getValue())&&!writer.equals(i.getAppNum())) { 
                             // We have different values and different writers
                     if ((value != null)&&(writer != null)) {
                         if (!value.equals(i.getValue())&&!writer.equals(i.getAppNum())) { 
                             // We have different values and different writers

-                            errorMessage = createErrorMessage(i, valueMap, writerMap);
+                            errorMessage = createErrorMessage(i, firstValueMap, firstWriterMap);

                             return true;
                         }
                     }
                             return true;
                         }
                     }