diff options
Diffstat (limited to '055shape_shifting_container.cc')
| -rw-r--r-- | 055shape_shifting_container.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/055shape_shifting_container.cc b/055shape_shifting_container.cc index dec225dc..1953a3c6 100644 --- a/055shape_shifting_container.cc +++ b/055shape_shifting_container.cc @@ -244,7 +244,7 @@ def main [ +run: {6: ("foo" "point")} <- merge {1: "literal", "y": ()}, {23: "literal"} +mem: storing 1 in location 6 +mem: storing 23 in location 7 -+run: reply ++run: return # no other stores % CHECK_EQ(trace_count_prefix("mem", "storing"), 7); |