Hi, On Tue, 21 Nov 2017, Richard Biener wrote:
> > That would be a simple oversight then. That's one of the nice things > > with common symbols, they contain their own alignment which you can > > freely adjust, you don't have to care for something like section > > alignment. > > You can't because of the need for merging a real definition with lower > alignment with the adjusted tentative one. Yes, that is the real neck breaker, and I hadn't considered this initially. Objections withdrawn :) Ciao, Michael.