diff options
Diffstat (limited to 'dev-ml/xml-light/files/04_dtd_trace.patch')
| -rw-r--r-- | dev-ml/xml-light/files/04_dtd_trace.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-ml/xml-light/files/04_dtd_trace.patch b/dev-ml/xml-light/files/04_dtd_trace.patch new file mode 100644 index 000000000000..ac0da3cb5b86 --- /dev/null +++ b/dev-ml/xml-light/files/04_dtd_trace.patch @@ -0,0 +1,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
|