From d9f2fa400731d007ed2874f37ff8d8a649b73a9d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 4 Dec 2017 15:35:05 +0000
Subject: Fix warnings in test suite

---
 test/typecheck/run_tests.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh
index 48cf070b..a2567d21 100755
--- a/test/typecheck/run_tests.sh
+++ b/test/typecheck/run_tests.sh
@@ -62,7 +62,7 @@ for i in `ls $DIR/pass/`;
 do
     if $SAILDIR/sail -ddump_tc_ast -dsanity $DIR/pass/$i 2> /dev/null 1> $DIR/rtpass/$i;
     then
-	if $SAILDIR/sail -ddump_tc_ast -dno_cast -dsanity $DIR/rtpass/$i 2> /dev/null 1> $DIR/rtpass2/$i;
+	if $SAILDIR/sail -ddump_tc_ast -dmagic_hash -dno_cast -dsanity $DIR/rtpass/$i 2> /dev/null 1> $DIR/rtpass2/$i;
 	then
 	    if diff $DIR/rtpass/$i $DIR/rtpass2/$i;
 	    then
@@ -86,7 +86,7 @@ do
     then
 	red "tested $i expecting fail" "pass"
     else
-	if $SAILDIR/sail -dno_cast -just_check $DIR/rtfail/$i 2> /dev/null;
+	if $SAILDIR/sail -dno_cast -dmagic_hash -just_check $DIR/rtfail/$i 2> /dev/null;
 	then
 	    yellow "tested $i expecting fail" "passed re-check"
 	else
-- 
cgit v1.2.3