diff options
Diffstat (limited to 'cpp/.traces/maybe_convert_named')
| -rw-r--r-- | cpp/.traces/maybe_convert_named | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/.traces/maybe_convert_named b/cpp/.traces/maybe_convert_named index 96a6528e..aea23061 100644 --- a/cpp/.traces/maybe_convert_named +++ b/cpp/.traces/maybe_convert_named @@ -32,7 +32,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: "p", value: 1, type: 0, properties: ["p": "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: "p", value: 1, type: 0, properties: ["p": "variant"]} run/0: ingredient 0 is 12 run/0: ingredient 1 is p mem/0: storing 13 in location 20 |