aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2017-04-12 20:39:16 -0400
committerEduardo Julian2017-04-12 20:39:16 -0400
commit534c76a868f35c2eecc13e60df343e12faf84f47 (patch)
tree8b4fe02c2c5518d869d59e6144405f9a7e40c0c1
parent1dd32c49e060c7f862b88b9cca36132fa21aad52 (diff)
- The XML header is now parsed optionally.
-rw-r--r--stdlib/source/lux/data/format/xml.lux2
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))