From 9ee67ed106808b5e82d5942e4d782fbf8cd133cd Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 17 Jan 2014 19:53:33 +0000
Subject: Type check through type definitions and val specifications, building
 definition environment. Skipping function definition, let bind, and
 expression checking for this commit (to come).

---
 src/test/test1.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index 3580f3e6..78258929 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -8,7 +8,7 @@ typedef int_list [name = "il"] = list<nat>
 typedef reco = const struct forall 'i, 'a, 'b. { 'a['i] v; 'b w; }
 typedef maybe = const union forall 'a. { Nne; 'a Sme; }
 typedef colors = enumerate { red; green; blue }
-typedef creg = register bits [5:'i] { 5 : h ; 6..7 : j}
+typedef creg = register bits [5:10] { 5 : h ; 6..7 : j}
 let bool e = true
 let bit v = bitzero
 let ( bit [ 32 ] ) v1 = 0b101
-- 
cgit v1.2.3