1 files changed, 9 insertions, 9 deletions
diff --git a/new-luxc/source/luxc/synthesizer/function.lux b/new-luxc/source/luxc/synthesizer/function.lux
index e8b2a7ec4..4d9970a3f 100644
--- a/new-luxc/source/luxc/synthesizer/function.lux
+++ b/new-luxc/source/luxc/synthesizer/function.lux
@@ -1,6 +1,6 @@
 (;module:
   lux
-  (lux (data (coll [list "L/" Functor<List> Fold<List>])))
+  (lux (data (coll [list "list/" Functor<List>])))
   (luxc (lang ["la" analysis]
               ["ls" synthesis])))
 
@@ -8,14 +8,14 @@
   (-> Scope (List ls;Variable))
   (|> scope
       (get@ [#;captured #;mappings])
-      (L/map (function [[_ _ ref]]
-               (case ref
-                 (#;Local idx)
-                 (nat-to-int idx)
-                 
-                 (#;Captured idx)
-                 (|> idx n.inc nat-to-int (i.* -1))
-                 )))))
+      (list/map (function [[_ _ ref]]
+                  (case ref
+                    (#;Local idx)
+                    (nat-to-int idx)
+                    
+                    (#;Captured idx)
+                    (|> idx n.inc nat-to-int (i.* -1))
+                    )))))
 
 (do-template [<name> <comp>]
   [(def: #export (<name> var)