From daba4983abbf1ccb57eedccc5721b2adf1061b46 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 28 Apr 2008 12:47:59 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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