From: Seyed Amir Hossein Aqajari <saqajari@circinus-48.ics.uci.edu>
Date: Thu, 5 Dec 2019 22:48:15 +0000 (-0800)
Subject: Fixing a bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9b4b32534966e7c4396618239b3acebcc021991f;p=jpf-core.git

Fixing a bug
---

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index 75a16c2..1f2fa7d 100644
--- 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;
 			 }
 		     }