You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
19 lines
421 B
19 lines
421 B
--- 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
|