blob: ac0da3cb5b8667c64dfb9b1c1e5584cb42b672c2 (
plain)
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
|
