diff options
| -rw-r--r-- | 053recipe_header.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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 |