From 1b38fe99c95fd44e7a74ff1b9ccd229c4a2c0fee Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 23 Mar 2014 22:33:04 +0000
Subject: Correctly unify types with default declarations and across if blocks
 for introduced variables.

---
 src/test/test4.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/test')

diff --git a/src/test/test4.sail b/src/test/test4.sail
index 50f3fa71..36cb271a 100644
--- a/src/test/test4.sail
+++ b/src/test/test4.sail
@@ -24,7 +24,7 @@ function unit good2 ((nat)  RA ) =
    yielding to_num_inc(GPR0) instead of to_num_inc(0b0) *)
 function unit bad ((bit[1])  RA ) =
 {
-  LOG(0) := "bad";
+  LOG(0) := "oldbad";
   (nat) x := GPR[RA];
 }
 
@@ -42,7 +42,7 @@ let (vector <0, 2, inc, (register<bit >)>) DCR = [ DCR0, DCR1 ]
    expression *)
 function unit bad2 ((bit[1])  RA ) =
 {
-  LOG(0) := "bad2";
+  LOG(0) := "oldbad2";
   (nat) x := DCR[RA];
 }
 
-- 
cgit v1.2.3