From a11d9c4a3375906bf8ae1117c6043776d2f08d17 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 May 2015 18:40:44 -0700 Subject: 1247 --- cpp/.traces/maybe_convert_fail | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cpp/.traces/maybe_convert_fail') diff --git a/cpp/.traces/maybe_convert_fail b/cpp/.traces/maybe_convert_fail index c28c17b3..e925f76c 100644 --- a/cpp/.traces/maybe_convert_fail +++ b/cpp/.traces/maybe_convert_fail @@ -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: "0", value: 0, type: 0, properties: ["0": "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: "0", value: 0, type: 0, properties: ["0": "variant"]} run/0: ingredient 0 is 12 run/0: ingredient 1 is 0 mem/0: storing 0 in location 20 -- cgit 1.4.1-2-gfad0