From 405111b0552e4303a0179c1ab36b091e694ba6a5 Mon Sep 17 00:00:00 2001
From: Mike Barnett <mbarnett@microsoft.com>
Date: Thu, 26 Jan 2012 16:31:56 -0800
Subject: Separate out the concepts of boxing (i.e., CLR's creating a heap cell
 and putting a value into it) from the concept of the "union" type that all
 Boogie types are a subtype of.

---
 BCT/BytecodeTranslator/Sink.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'BCT/BytecodeTranslator/Sink.cs')

diff --git a/BCT/BytecodeTranslator/Sink.cs b/BCT/BytecodeTranslator/Sink.cs
index 4499f11e..bc4e7524 100644
--- a/BCT/BytecodeTranslator/Sink.cs
+++ b/BCT/BytecodeTranslator/Sink.cs
@@ -144,7 +144,7 @@ namespace BytecodeTranslator {
           if (TypeHelper.TypesAreEquivalent(c, type.PlatformType.SystemValueType)) continue;
           return CciTypeToBoogie(c);
         }
-        return heap.BoxType;
+        return heap.UnionType;
       } else
         return heap.RefType;
     }
-- 
cgit v1.2.3