Package: xml-light / 2.2-17

04_dtd_trace.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
diff -urNad xml-light-2.2~/dtd.ml xml-light-2.2/dtd.ml
--- xml-light-2.2~/dtd.ml	2005-02-18 10:01:54.000000000 +0100
+++ xml-light-2.2/dtd.ml	2006-10-26 23:22:25.000000000 +0200
@@ -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