On Mon, 9 Oct 2017, Bernd Edlinger wrote: > +type @code{void (*) (void);} is special and matches everything, which can
The type name should not include ";". The non-C++ parts of the patch are OK with that change. -- Joseph S. Myers jos...@codesourcery.com