From 459cdb3da5e289a46104f928cb95021b4bae3194 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 29 Oct 2017 12:23:34 -0700 Subject: 4091 --- 053recipe_header.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/053recipe_header.cc b/053recipe_header.cc index 513cfc4e..781e0107 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -357,7 +357,7 @@ def add2 x:num, y:num [ ] +error: add2: replied with the wrong number of products at 'return z' -:(scenario recipe_headers_are_checked_against_transformed_instructions) +:(scenario recipe_headers_are_checked_against_pre_transformed_instructions) % Hide_errors = true; def foo -> x:num [ local-scope -- cgit 1.4.1-2-gfad0