diff options
Diffstat (limited to 'cpp/.traces/maybe_convert')
| -rw-r--r-- | cpp/.traces/maybe_convert | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/.traces/maybe_convert b/cpp/.traces/maybe_convert index 0c26557b..5a90d04c 100644 --- a/cpp/.traces/maybe_convert +++ b/cpp/.traces/maybe_convert @@ -31,7 +31,7 @@ run/0: {name: "14", value: 14, type: 1, properties: ["14": "integer"]} <- copy/1 run/0: ingredient 0 is 36 mem/0: storing 36 in location 14 run/0: instruction main/3 -run/0: {name: "20", value: 20, type: 2-6, properties: ["20": "address":"point"]} <- maybe-convert/28 {name: "12", value: 12, type: 8, properties: ["12": "integer-or-point"]}, {name: "1", value: 1, type: 0, properties: ["1": "variant"]} +run/0: {name: "20", value: 20, type: 2-6, properties: ["20": "address":"point"]} <- maybe-convert/29 {name: "12", value: 12, type: 8, properties: ["12": "integer-or-point"]}, {name: "1", value: 1, type: 0, properties: ["1": "variant"]} run/0: ingredient 0 is 12 run/0: ingredient 1 is 1 mem/0: storing 13 in location 20 |