diff options
author | Eduardo Julian | 2022-04-06 21:52:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-06 21:52:30 -0400 |
commit | b0d725f24335e82eefc77175efc0a5282951316e (patch) | |
tree | 18a5cc4b318776250442311636a415a5cc2c1f20 /stdlib/source/program/aedifex/project.lux | |
parent | a0ed5fd377daf5754697636504de8e180abf9ec0 (diff) |
More efficient binary formatting.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/project.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 7a8ed68e2..71a9a0381 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -39,7 +39,7 @@ (dictionary.empty text.hash)) (def: composite - (dictionary.merged_with (# //.monoid composite)))) + (dictionary.composite_with (# //.monoid composite)))) (exception: .public (unknown_profile [name Name]) (exception.report |