From 69fefab57c40f323d759dc444dbcebad15071585 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 13 Jul 2018 22:01:32 -0400
Subject: Re-named "Bool" type to "Bit".

---
 new-luxc/source/luxc/lang/synthesis/variable.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'new-luxc/source/luxc/lang/synthesis')

diff --git a/new-luxc/source/luxc/lang/synthesis/variable.lux b/new-luxc/source/luxc/lang/synthesis/variable.lux
index 4a3317d9f..f6a45b02e 100644
--- a/new-luxc/source/luxc/lang/synthesis/variable.lux
+++ b/new-luxc/source/luxc/lang/synthesis/variable.lux
@@ -35,7 +35,7 @@
     (list)))
 
 (def: (non-arg? arity var)
-  (-> ls.Arity Variable Bool)
+  (-> ls.Arity Variable Bit)
   (and (variableL.local? var)
        (n/> arity (.nat var))))
 
-- 
cgit v1.2.3