From 32d73f19bd5815832c0223c82b0a15423a47fa41 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 5 Feb 2014 19:27:42 +0000
Subject: Test scattered typedef cross-reference

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

(limited to 'src')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index d75206fd..c603bb65 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -15,16 +15,16 @@ let ( bit [ 32 ] ) v1 = 0b101
 
 (* scattered function definition and union definition *)
 scattered typedef ast = const union
-scattered function unit f
+scattered function ast f
 
 union ast member  bit * bit * bit A
-function clause f (  A (a,b,c) ) = ()
+function clause f (  A (a,b,c) ) = C(a)
 
 union ast member  bit * bit B
-function clause f (  B (a,b) ) = ()
+function clause f (  B (a,b) ) = C(a)
 
 union ast member  bit C
-function clause f (  C (a) ) = ()
+function clause f (  C (a) ) = C(a)
 
 end ast
 end f
-- 
cgit v1.2.3