From 4a86793cedadfd781371917407e348eb058aaa19 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 14:51:53 +0100
Subject: [PATCH] use sc variables in machine translation
---
.../de/prob/eventb/translator/internal/ModelTranslator.java | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index e91c28a2..9677a309 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -35,7 +35,6 @@ import org.eventb.core.ISCVariable;
import org.eventb.core.ISCVariant;
import org.eventb.core.ISCWitness;
import org.eventb.core.ITraceableElement;
-import org.eventb.core.IVariable;
import org.eventb.core.ast.FormulaFactory;
import org.eventb.core.ast.ITypeEnvironment;
import org.eventb.core.ast.Predicate;
@@ -186,9 +185,9 @@ public class ModelTranslator extends AbstractComponentTranslator {
final IAttributeType.String UNITATTRIBUTE = RodinCore
.getStringAttrType("de.prob.units.unitPragmaAttribute");
- final IVariable[] variables = origin.getVariables();
+ final ISCVariable[] variables = machine.getSCVariables();
- for (final IVariable variable : variables) {
+ for (final ISCVariable variable : variables) {
if (variable.hasAttribute(UNITATTRIBUTE)) {
String content = variable.getAttributeValue(UNITATTRIBUTE);
--
GitLab