Bug fix: action label checking in simulator.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@774 bbc10eb1-c90d-0410-af57-cb519fbb1720

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