diff options
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia/document.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux index 7b159b8f5..07a4e2b83 100644 --- a/licentia/source/program/licentia/document.lux +++ b/licentia/source/program/licentia/document.lux @@ -40,8 +40,9 @@ ) (type: .public Section - {#title Text - #content Text}) + (Record + [#title Text + #content Text])) (def: .public (section value) (-> Section Text) |