>    let output text = Printf.printf "%s\r\n" text in

It's not related to the problem, but I'm not sure to understand "let
output text = ..."  Normally the left hand side of a let has only one
variable.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to