From 50897a5a2e62d24899dad210377901d7a3ba446f Mon Sep 17 00:00:00 2001 From: Mike Barnett Date: Sun, 5 Feb 2012 12:34:44 -0800 Subject: Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from the "union" type that is the supertype of all the translated Boogie types. --- BCT/BytecodeTranslator/Program.cs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BCT/BytecodeTranslator/Program.cs') diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs index abbdcc00..8de2f91e 100644 --- a/BCT/BytecodeTranslator/Program.cs +++ b/BCT/BytecodeTranslator/Program.cs @@ -566,10 +566,10 @@ namespace BytecodeTranslator { if (rtype == ltype) { // do nothing } else if (ltype == sink.Heap.UnionType) { - rexpr = sink.Heap.Box(Bpl.Token.NoToken, rtype, rexpr); + rexpr = sink.Heap.ToUnion(Bpl.Token.NoToken, rtype, rexpr); } else if (rtype == sink.Heap.UnionType) { - rexpr = sink.Heap.Unbox(Bpl.Token.NoToken, ltype, rexpr); + rexpr = sink.Heap.FromUnion(Bpl.Token.NoToken, ltype, rexpr); } else { System.Diagnostics.Debug.Assert(false); -- cgit v1.2.3