Fixing a bug

[jpf-core.git] / src / main / gov / nasa / jpf / listener / ConflictTracker.java

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