We use it in Pharo 1.1.1 and 1.4. But we can put it back in as a custom rule if we need to. Max On 30.12.2012, at 21:03, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:

Hi guys

rationale ^ 'Checks that a methods marked with <modifier: #final> is never overridden.'

my impression is that we can safely remove this rule. We never used this pragma for this convention. Isn't it :)

Stef