diff options
| author | Eduardo Julian | 2017-04-12 20:39:16 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-04-12 20:39:16 -0400 |
| commit | 534c76a868f35c2eecc13e60df343e12faf84f47 (patch) | |
| tree | 8b4fe02c2c5518d869d59e6144405f9a7e40c0c1 /stdlib | |
| parent | 1dd32c49e060c7f862b88b9cca36132fa21aad52 (diff) | |
- The XML header is now parsed optionally.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/format/xml.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux index 57af6cf37..2494fa1b8 100644 --- a/stdlib/source/lux/data/format/xml.lux +++ b/stdlib/source/lux/data/format/xml.lux @@ -177,7 +177,7 @@ ## This way, the comments can only be before or after the main document. (l;before (l;some comment^)) (l;after (l;some comment^)) - (l;after xml-header^))) + (l;after (l;opt xml-header^)))) (def: #export (read-xml input) (-> Text (Error XML)) |