From d62ca20800439a4b1a31e028b3e4451330928bdb Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 1 Mar 2014 12:12:37 +0000
Subject: Fix printing bug on vector slicing that caused only one element to
 ever be sliced

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

(limited to 'src/test')

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index 482ef902..f7872be8 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -3,7 +3,7 @@ let (bit[4]) v2 = [0,1,0,0]
 register (bit[32]) i
 
 let (bit[10]) v3 = 0b0101010111
-register (bit[5]) slice_check
+register (bit[10]) slice_check
 
 register nat match_success
 
-- 
cgit v1.2.3