From e63004599c19e8e741918c6e64ec0a5362abc8ed Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 14 Feb 2014 15:55:38 +0000
Subject: Fix infinite loop bug, and test1.sail type checking bug

---
 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 c27d1c77..34210f97 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -31,7 +31,7 @@ function clause f (  C (a) ) = C(a)
 end ast
 end f
 
-(*function unit a (bit) b = if b then () else ()*)
+function unit a (bit) b = if b then () else ()
 
 function bit sw s = switch s { case 0 -> bitzero }
 
-- 
cgit v1.2.3