--- 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 -> ()