Should I report this as a bug? If so, which kind of bug is it?
Isn't this c++/19989?
Hi Paolo,
yes, I think it is that one. Thanks,
Roberto
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]
