1 files changed, 6 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/Heap.cs b/BCT/BytecodeTranslator/Heap.cs
index 919ab243..4bd086c0 100644
--- a/BCT/BytecodeTranslator/Heap.cs
+++ b/BCT/BytecodeTranslator/Heap.cs
@@ -67,6 +67,9 @@ procedure {:inline 1} Alloc() returns (x: int)
       program = null;
       string prelude = this.InitialPreludeText + this.DelegateEncodingText;
       var b = RepresentationFor.ParsePrelude(prelude, this, out program);
+      if (b) {
+        this.TypeType = new Bpl.CtorType(this.TypeTypeDecl.tok, this.TypeTypeDecl, new Bpl.TypeSeq());
+      }
       return b;
     }
 
@@ -305,6 +308,9 @@ procedure {:inline 1} Alloc() returns (x: int)
       program = null;
       string prelude = this.InitialPreludeText + this.DelegateEncodingText;
       var b = RepresentationFor.ParsePrelude(prelude, this, out program);
+      if (b) {
+        this.TypeType = new Bpl.CtorType(this.TypeTypeDecl.tok, this.TypeTypeDecl, new Bpl.TypeSeq());
+      }
       return b;
     }