- let parse_xml_uri str = node_of_t (parse_xml_uri str)
- let parse_xml_string str = node_of_t (parse_xml_string str)
+ let parse_xml_uri str = node_of_t
+ (parse_xml_uri str
+ !Options.sample_factor !Options.index_empty_texts !Options.disable_text_collection)
+
+ let parse_xml_string str = node_of_t
+ (parse_xml_string str
+ !Options.sample_factor !Options.index_empty_texts !Options.disable_text_collection)