From 9b4b32534966e7c4396618239b3acebcc021991f Mon Sep 17 00:00:00 2001
From: Seyed Amir Hossein Aqajari <saqajari@circinus-48.ics.uci.edu>
Date: Thu, 5 Dec 2019 14:48:15 -0800
Subject: [PATCH] Fixing a bug

---
 src/main/gov/nasa/jpf/listener/ConflictTracker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 			 }
 		     }
-- 
2.34.1