From c4ac3e692ae96d6898d8efb42faf4dfadd43f4ae Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 14 May 2015 08:23:10 -0400
Subject: - Removed the apparently unnecessary total-locals.

---
 source/program.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source/program.lux')

diff --git a/source/program.lux b/source/program.lux
index 20f7863ab..a9451580f 100644
--- a/source/program.lux
+++ b/source/program.lux
@@ -1,4 +1,4 @@
-(;alias-lux)
+(;lux)
 
 (def (filter p xs)
   (All [a] (-> (-> a Bool) (List a) (List a)))
-- 
cgit v1.2.3