Renaming a variable.

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index a483afcc7e6d6f0843b9a168b1c248b0c91ded17..fe4132f5386075d7cebb42ec467677a047bdfecb 100644 (file)
--- 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);
     }
   }