diff options
Diffstat (limited to '021check_instruction.cc')
| -rw-r--r-- | 021check_instruction.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index 67dd800b..f65dd398 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -73,7 +73,6 @@ recipe main [ +error: main: can't copy 34 to 1:address:number; types don't match :(scenario write_address_to_number_allowed) -% Hide_errors = true; recipe main [ 1:address:number <- copy 12/unsafe 2:number <- copy 1:address:number @@ -82,7 +81,6 @@ recipe main [ $error: 0 :(scenario write_boolean_to_number_allowed) -% Hide_errors = true; recipe main [ 1:boolean <- copy 1/true 2:number <- copy 1:boolean |