From 760f683f2755038a1b0c16522f5001b889096aa5 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 12:55:10 -0700 Subject: 3389 --- 053recipe_header.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '053recipe_header.cc') diff --git a/053recipe_header.cc b/053recipe_header.cc index 49c9cfcc..40fd4684 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -272,7 +272,7 @@ void check_calls_against_header(const recipe_ordinal r) { def add2 x:num, y:num -> z:num [ local-scope load-ingredients - z:address:num <- copy 0/unsafe + z:&:num <- copy 0/unsafe return z ] +error: add2: replied with the wrong type at 'return z' @@ -304,7 +304,7 @@ void check_reply_instructions_against_header(const recipe_ordinal r) { def add2 x:num, y:num [ local-scope load-ingredients - z:address:num <- copy 0/unsafe + z:&:num <- copy 0/unsafe return z ] +error: add2: replied with the wrong number of products at 'return z' -- cgit 1.4.1-2-gfad0