1 files changed, 2 insertions, 8 deletions
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;