Correctly unify types with default declarations and across if blocks for introduced variables.

1 files changed, 2 insertions, 2 deletions

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];
 }