X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;h=aa35214dcec64fe63ae63715d533eeaac066c565;hb=9c9764f2217221c6b2282d353233da958955cb97;hp=3ebd9ad7160780561d0b09f1731532667d0e7944;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git diff --git a/tree.ml b/tree.ml index 3ebd9ad..aa35214 100644 --- a/tree.ml +++ b/tree.ml @@ -23,7 +23,7 @@ sig val equal : t -> t -> bool end -module Binary = +module OldBinary = struct type string_content = string @@ -227,11 +227,11 @@ struct (* abstract type, values are pointers to a XMLTree C++ object *) - external parse_xml_uri : bool -> float -> string -> t = "caml_call_shredder_uri" - let parse_xml_uri uri = parse_xml_uri true 1.0 uri + external parse_xml_uri : string -> t = "caml_call_shredder_uri" + let parse_xml_uri uri = parse_xml_uri uri - external parse_xml_string : bool -> float -> string -> t = "caml_call_shredder_string" - let parse_xml_string = parse_xml_string true 1.0 + external parse_xml_string : string -> t = "caml_call_shredder_string" + let parse_xml_string uri = parse_xml_string uri module Text = @@ -416,3 +416,4 @@ struct end end +include XML