diff options
author | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
commit | 716ca5377386ca87eded7dd514ccc17f8ed281c3 (patch) | |
tree | 30ecd03de0f32057d453ab2c342fd17f88732ae3 /stdlib/source/program/aedifex/profile.lux | |
parent | cfdc546e6834ceeb78cb692d17fd5c60695be982 (diff) |
De-sigil-ification: suffix : [Part 16]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 3017defcd..ff8710893 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -6,7 +6,7 @@ [equivalence (.only Equivalence)]] [control ["[0]" maybe (.use "[1]#[0]" monoid)] - ["[0]" exception (.only exception:)]] + ["[0]" exception (.only exception)]] [data ["[0]" product] ["[0]" text (.use "[1]#[0]" equivalence)] @@ -277,4 +277,4 @@ #lua (!runtime #lua runtime.default_lua) #ruby (!runtime #ruby runtime.default_ruby)])))) -(exception: .public no_identity) +(exception .public no_identity) |