summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-04-24 18:26:27 +0600
committerDaniil Baturin <daniil@baturin.org>2015-04-24 18:26:27 +0600
commit5ee54a1416233759ee42f1810bce36c3efda45bc (patch)
treeca7631d5af9b543fa2e5da06d96b70ef66ecc62a
parentd8ba1f5e2acce3382bb8f0ff062a26c7f6ec7643 (diff)
downloadvyconf-5ee54a1416233759ee42f1810bce36c3efda45bc.tar.gz
vyconf-5ee54a1416233759ee42f1810bce36c3efda45bc.zip
Remove debug prints.
-rw-r--r--src/reference_tree.ml8
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