Bug#382828: debug trace in xml-light

Hello, On Sun, Aug 13, 2006 at 05:30:47PM +0200, Pascal wrote: > 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

Bug#382828: debug trace in xml-light

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 sugg