Package: libxml-light-ocaml-dev Version: 2.2-4
a trace call (dtd.ml, line 270) producing a debug message on the standard output prevents to use the DTD prover:
(* - for debug only - *) [...] let trace dtd tag = [...]let prove_child dtd tag =
trace dtd tag; <<<<<<<<<<<<<
I suggest to remove this line from the libxml-light-ocaml-dev and xml-light source packages. Thanks --Pascal -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
