diff options
author | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
commit | 616ce8051f59f956fedc57780f5a8fefa16dd61d (patch) | |
tree | d0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/program/aedifex/input.lux | |
parent | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff) |
Re-named "partial_list" to "list.partial".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/input.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index c85970a5b..13d7159ba 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -58,5 +58,5 @@ (do [! try.monad] [it it it (..project_parser it) - it (monad.each ! (//project.profile it) (partial_list //profile.default profiles))] + it (monad.each ! (//project.profile it) (list.partial //profile.default profiles))] (in (mix.with_monoid //profile.monoid list.mix it))))))) |