From 9dfd07f5afe943abf40eaa7a9351ea92748b59ab Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Thu, 30 Jun 2011 23:21:26 -0700
Subject: bug fix in heap access for splitfield option

---
 BCT/BytecodeTranslator/HeapFactory.cs | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

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

diff --git a/BCT/BytecodeTranslator/HeapFactory.cs b/BCT/BytecodeTranslator/HeapFactory.cs
index 6de7cb95..579ce648 100644
--- a/BCT/BytecodeTranslator/HeapFactory.cs
+++ b/BCT/BytecodeTranslator/HeapFactory.cs
@@ -73,6 +73,8 @@ namespace BytecodeTranslator {
 
     public abstract Bpl.Variable CreateFieldVariable(IFieldReference field);
 
+    public abstract Bpl.Variable BoxField { get; }
+
     #region Boogie Types
 
     [RepresentationFor("Field", "type Field;")]
@@ -184,14 +186,6 @@ namespace BytecodeTranslator {
 
     #endregion
 
-    #region "Boxing" as done in the CLR
-    /// <summary>
-    /// Used to represent "boxing" as it is done in the CLR.
-    /// </summary>
-    [RepresentationFor("$BoxField", "const unique $BoxField: Field;")]
-    public Bpl.Constant BoxField = null;
-    #endregion
-
     #region Real number conversions
     [RepresentationFor("Int2Real", "function Int2Real(int): Real;")]
     public Bpl.Function Int2Real = null;
-- 
cgit v1.2.3