- let res = decode_bit doc v in
- print_string "<xml_result num=\"1\" >\n";
- print_node_list doc res;
- print_string "</xml_result>\n";
+ if !display then begin
+ let res = decode_bit doc v in
+
+ print_string "<xml_result num=\"1\" >\n";
+ print_node_list doc res;
+ print_string "</xml_result>\n";
+ end;
+ ()