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 = > [...] > 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 >
Well, i think i have open another bug for this :-) Next time i will see if you don't have already open a bug before opening one my self. Kind regard Sylvain Le Gall -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]