diff options
author | Daniil Baturin <daniil@baturin.org> | 2015-04-24 18:26:27 +0600 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2015-04-24 18:26:27 +0600 |
commit | 5ee54a1416233759ee42f1810bce36c3efda45bc (patch) | |
tree | ca7631d5af9b543fa2e5da06d96b70ef66ecc62a | |
parent | d8ba1f5e2acce3382bb8f0ff062a26c7f6ec7643 (diff) | |
download | vyconf-5ee54a1416233759ee42f1810bce36c3efda45bc.tar.gz vyconf-5ee54a1416233759ee42f1810bce36c3efda45bc.zip |
Remove debug prints.
-rw-r--r-- | src/reference_tree.ml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index c3f68d8..8c42bd5 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -44,10 +44,9 @@ let load_constraint_from_xml d c = let cs = (Value_checker.External (n, a)) :: d.constraints in {d with constraints=cs} | _ -> raise (Bad_interface_definition "Malformed constraint") - in print_endline "Load constraint" ; Xml.fold aux d c + in Xml.fold aux d c let data_from_xml d x = - print_endline "data_from_xml"; let aux d x = match x with | Xml.Element ("help", _, [Xml.PCData s]) -> {d with help=s} @@ -68,7 +67,6 @@ let data_from_xml d x = let rec insert_from_xml basepath reftree xml = match xml with | Xml.Element (tag, _, _) -> - print_endline ("In node " ^ tag); let props = Util.find_xml_child "properties" xml in let data = (match props with @@ -99,10 +97,10 @@ let load_from_xml reftree file = let basepath = try Pcre.split (Xml.attrib xml "extends") with _ -> [] - in print_endline "fold children"; List.fold_left (insert_from_xml basepath) reftree children + in List.fold_left (insert_from_xml basepath) reftree children | _ -> raise (Bad_interface_definition "Should start with <interfaceDefinition>") in - let xml = Xml.parse_file file in print_endline "xml_to_reftree"; + let xml = Xml.parse_file file in xml_to_reftree xml reftree |