dev-ml/xml-light/files/04_dtd_trace.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

--- a/dtd.ml
+++ b/dtd.ml
@@ -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 -> ()
@@ -505,4 +505,4 @@
 		sprintf "<!ELEMENT %s %s>" tag (etype_to_string etype)
 
 ;;
-to_string_ref := to_string
\ No newline at end of file
+to_string_ref := to_string