Abdelrazak Younes wrote:
> Well char_type is an unsigned int so I don't know what char_type() would
>   return (isn't that undefined behaviour?). I suggest to return 0 instead.

I see. Thanks.

Jürgen

Reply via email to