In my bug report about a gcc internal error, I gave a wrong version
number for gcc. In fact it is:

# gcc --version
gcc (GCC) 3.3.3 (Debian 20040429)

-- 


                        Olivier Lecarme


Reply via email to