Renaming a variable.
authorrtrimana <rtrimana@uci.edu>
Wed, 17 Jun 2020 20:55:17 +0000 (13:55 -0700)
committerrtrimana <rtrimana@uci.edu>
Wed, 17 Jun 2020 20:55:17 +0000 (13:55 -0700)
src/main/gov/nasa/jpf/listener/DPORStateReducer.java

index a483afc..fe4132f 100644 (file)
@@ -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);
     }
   }