Fixing a bug
[jpf-core.git] / src / main / gov / nasa / jpf / listener / ConflictTracker.java
index 75a16c2..1f2fa7d 100644 (file)
@@ -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
-                            errorMessage = createErrorMessage(i, valueMap, writerMap);
+                            errorMessage = createErrorMessage(i, firstValueMap, firstWriterMap);
                             return true;
                         }
                     }