| Some input ->
let fd = open_in input in fd, fun() -> close_in fd
in
(*let inc = open_in Sys.argv.(1) in*)
let doc = Naive_tree.load_xml_file fd in
| Some input ->
let fd = open_in input in fd, fun() -> close_in fd
in
(*let inc = open_in Sys.argv.(1) in*)
let doc = Naive_tree.load_xml_file fd in