[PATCH/RFC] Fix interactive half of libstdc++/6745

[Paolo Carlini]

Benjamin Kosnik wrote:

>This looks fine, thanks Paolo!
>
Thanks Benjamin: I have just commited the fix.

It occurs to me that we have an unreviewed patch from Jonathan in this area:

    http://gcc.gnu.org/ml/gcc-patches/2002-10/msg01220.html

Ciao,
Paolo.