diff --git a/prism/src/parser/visitor/ToSimulator.java b/prism/src/parser/visitor/ToSimulator.java index 5b94d439..1bb7a9d1 100644 --- a/prism/src/parser/visitor/ToSimulator.java +++ b/prism/src/parser/visitor/ToSimulator.java @@ -76,7 +76,7 @@ public class ToSimulator extends ASTTraverseModify ret = SimulatorEngine.createTransitionReward(-1, ptrS, ptrR); } else { try { - synchIndex = sim.getIndexOfVar(e.getSynch()); + synchIndex = sim.getIndexOfAction(e.getSynch()); } catch (SimulatorException ex) { throw new PrismLangException("Action label \"" + e.getSynch() + "\" not found in simulator", e); }