From f7a9bf3cb6809b252d08b4b02a750e2251cec942 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Wed, 17 Jun 2020 13:55:17 -0700
Subject: [PATCH] Renaming a variable.

---
 src/main/gov/nasa/jpf/listener/DPORStateReducer.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index a483afc..fe4132f 100644
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@ -379,8 +379,8 @@ public class DPORStateReducer extends ListenerAdapter {
       cgToChoiceMap.put(icsCG, choice);
     }
 
-    public void mapStateToTransition(int stateId, TransitionEvent backtrackPoint) {
-      stateToTransitionMap.put(stateId, backtrackPoint);
+    public void mapStateToTransition(int stateId, TransitionEvent transition) {
+      stateToTransitionMap.put(stateId, transition);
     }
   }
 
-- 
2.34.1