From 6fd22846f21b8b70b7867e989109d14a366c0a3e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 14 Aug 2021 03:09:58 -0400
Subject: Moved documentation-generation machinery to its own module.

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

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index b25d37fd7..492911d40 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -966,7 +966,7 @@
 (def: (anonymous_init_method env)
   (-> (Environment Synthesis) (Type Method))
   (type.method [(list)
-                (list.repeat (list.size env) $Object)
+                (list.repeated (list.size env) $Object)
                 type.void
                 (list)]))
 
-- 
cgit v1.2.3