[Bug c++/13717] duplicated parameter name not caught ?

[bangerth at dealii dot org]

------- Comment #9 from bangerth at dealii dot org  2008-01-22 22:06 -------
Apparently fixed.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13717