bug fixes related to handling of structs, arrays, and assignments

1 files changed, 2 insertions, 1 deletions

diff --git a/BCT/BytecodeTranslator/MetadataTraverser.cs b/BCT/BytecodeTranslator/MetadataTraverser.cs
index 4510db46..631f0b8c 100644
--- a/BCT/BytecodeTranslator/MetadataTraverser.cs
+++ b/BCT/BytecodeTranslator/MetadataTraverser.cs
@@ -93,7 +93,8 @@ namespace BytecodeTranslator {
         var e = this.sink.DefaultValue(f.Type);

         var fExp = Bpl.Expr.Ident(this.sink.FindOrCreateFieldVariable(f));

         var o = Bpl.Expr.Ident(proc.OutParams[0]);

-        var c = this.sink.Heap.WriteHeap(Bpl.Token.NoToken, o, fExp, e, true);

+        var boogieType = sink.CciTypeToBoogie(f.Type);

+        var c = this.sink.Heap.WriteHeap(Bpl.Token.NoToken, o, fExp, e, AccessType.Struct, boogieType);

         stmtBuilder.Add(c);

       }