From: rtrimana <rtrimana@uci.edu>
Date: Wed, 17 Jun 2020 20:55:17 +0000 (-0700)
Subject: Renaming a variable.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f7a9bf3cb6809b252d08b4b02a750e2251cec942;p=jpf-core.git

Renaming a variable.
---

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