diff options
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia/license/distribution.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux index 87b397ff7..4632536ba 100644 --- a/licentia/source/program/licentia/license/distribution.lux +++ b/licentia/source/program/licentia/license/distribution.lux @@ -3,10 +3,10 @@ [lux "*" [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monoid)]]]]] - ["[0]" // {"+" Distribution} + ["[0]" // (.only Distribution) ["_" term] [// ["$" document]]]) |