casa-mp-base

--- dtd.ml.orig 2010-11-21 15:35:54.000000000 -0800

+++ dtd.ml  2010-11-21 15:36:18.000000000 -0800

@@ -267,7 +267,7 @@

 exception TmpResult of dtd_result

 let prove_child dtd tag = 

-   trace dtd tag;

+   (* trace dtd tag; *)

    match dtd.current with

    | DTDEmpty -> raise (Prove_error EmptyExpected)

    | DTDAny -> ()