diff options
Diffstat (limited to 'BCT/BytecodeTranslator/CLRSemantics.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/CLRSemantics.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BCT/BytecodeTranslator/CLRSemantics.cs b/BCT/BytecodeTranslator/CLRSemantics.cs index f52b2006..c9f09f5f 100644 --- a/BCT/BytecodeTranslator/CLRSemantics.cs +++ b/BCT/BytecodeTranslator/CLRSemantics.cs @@ -37,7 +37,7 @@ namespace BytecodeTranslator { var tok = TranslationHelper.CciLocationToBoogieToken(division.Locations);
- var loc = this.StmtTraverser.MethodTraverser.CreateFreshLocal(division.RightOperand.Type);
+ var loc = this.StmtTraverser.MetadataTraverser.CreateFreshLocal(division.RightOperand.Type);
var locExpr = Bpl.Expr.Ident(loc);
var storeLocal = Bpl.Cmd.SimpleAssign(tok, locExpr, rexp);
this.StmtTraverser.StmtBuilder.Add(storeLocal);
|