diff options
Diffstat (limited to 'lib/xml_parser.mli')
| -rw-r--r-- | lib/xml_parser.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/xml_parser.mli b/lib/xml_parser.mli index d48e892561..74a7693ac8 100644 --- a/lib/xml_parser.mli +++ b/lib/xml_parser.mli @@ -27,7 +27,7 @@ (** An Xml node is either [Element (tag-name, attributes, children)] or [PCData text] *) -type xml = Serialize.xml +type xml = Xml_datatype.xml (** Abstract type for an Xml parser. *) type t |