From c5b61d2f46ac19bf511197f3a537c4be0f47df33 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 27 Aug 2021 20:59:34 -0400
Subject: Updates to the Ruby compiler.

---
 stdlib/source/specification/lux/abstract/enum.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/specification/lux/abstract/enum.lux')

diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index f68ba1203..a5118918a 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -10,7 +10,7 @@
    ["." /]])
 
 (def: .public (spec (^open "\.") gen_sample)
-  (All [a] (-> (/.Enum a) (Random a) Test))
+  (All (_ a) (-> (/.Enum a) (Random a) Test))
   (do random.monad
     [sample gen_sample]
     (<| (_.for [/.Enum])
-- 
cgit v1.2.3