diff options
Diffstat (limited to '032exclusive_container.cc')
| -rw-r--r-- | 032exclusive_container.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/032exclusive_container.cc b/032exclusive_container.cc index e9f918f4..e071cf52 100644 --- a/032exclusive_container.cc +++ b/032exclusive_container.cc @@ -31,7 +31,10 @@ def main [ +mem: storing 35 in location 6 :(before "End size_of(type) Cases") -if (t.kind == EXCLUSIVE_CONTAINER) return get(Container_metadata, type).size; +if (t.kind == EXCLUSIVE_CONTAINER) { + // Compute size_of Exclusive Container + return get(Container_metadata, type).size; +} :(before "End compute_container_metadata Cases") if (info.kind == EXCLUSIVE_CONTAINER) { container_metadata metadata; |