From 062eadd4238692c2f5b486d0febcf05c7b48ca83 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Feb 2014 12:06:41 +0000
Subject: more checking

---
 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 f1fc6199..244beaff 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -7,7 +7,7 @@ register nat match_success
 function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1
 and decode x = match_success := x
 
-function unit main _ = {
+function bit main _ = {
 
   i := [bitzero, bitzero, bitone, bitzero];
 
-- 
cgit v1.2.3