From 14e96f5e5dad439383d63e60a52169cc2e7aaa5c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 20 May 2018 21:04:03 -0400
Subject: - Re-named "Top" to "Any", and "Bottom" to "Nothing". - Removed some
 modules that should have been deleted before.

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

(limited to 'new-luxc/source/luxc/lang/host/jvm.lux')

diff --git a/new-luxc/source/luxc/lang/host/jvm.lux b/new-luxc/source/luxc/lang/host/jvm.lux
index 3fb55d2f9..20dd4c37b 100644
--- a/new-luxc/source/luxc/lang/host/jvm.lux
+++ b/new-luxc/source/luxc/lang/host/jvm.lux
@@ -122,7 +122,7 @@
 
 ## Labels
 (def: #export new-label
-  (-> Top Label)
+  (-> Any Label)
   org/objectweb/asm/Label::new)
 
 (def: #export (simple-class name)
-- 
cgit v1.2.3