From a3a0574f17424cb67c1be120b01d6b57771bbbfe Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 25 Feb 2016 22:08:27 -0800
Subject: 2709

Only Hide_errors when strictly necessary. In other places let test
failures directly show the unexpected error.
---
 021check_instruction.cc | 2 --
 1 file changed, 2 deletions(-)

(limited to '021check_instruction.cc')

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
-- 
cgit 1.4.1-2-gfad0