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]

Reply via email to