- let res = eval_qtree doc [ (Naive_tree.root doc) ] q in
- print_string "<xml_result num=\"1\" >\n";
- print_node_list doc res;
- print_string "</xml_result>\n";
+ let v = eval_qtree doc root q in
+ 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;
+ ()