From 2e49ebb3b1d297e79e8415e7a9bce7d866817f98 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 20 Oct 2015 14:27:20 +0100
Subject: Fixing bugs in pretty printer to ocaml

---
 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 8143bf5d..0c08324c 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -12,7 +12,7 @@ typedef creg = register bits [5:10] { 5 : h ; 6..7 : j}
 let (bool) e = true
 val forall Nat 'a, Nat 'b. bit['a:'b] sliced
 let (bit) v = bitzero
-let ( bit [ 32 ] ) v1 = 0b101
+let ( bit [ 3 ] ) v1 = 0b101
 
 let ( bit [32] ) v2 = 0xABCDEF01
 
-- 
cgit v1.2.3