diff options
Diffstat (limited to 'lib/xml_utils.ml')
-rw-r--r-- | lib/xml_utils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/xml_utils.ml b/lib/xml_utils.ml index 310035862..1d09b1723 100644 --- a/lib/xml_utils.ml +++ b/lib/xml_utils.ml @@ -18,7 +18,7 @@ *) open Printf -open Xml_parser +open Serialize exception Not_element of xml exception Not_pcdata of xml |