>>>>> Gabriel Dos Reis <Gabriel.Dos-Reis@dptmaths.ens-cachan.fr> writes: > PS: should this be a warning or an error ? It's a pedwarn; if you use -pedantic-errors, it will be an error. Jason