Actually, these have slightly different conditions.  super contracts require an overrideable method (augride is okay), whereas override contracts require a method which has never been augmentable (i.e. no pubments or overments).
Actually, these have slightly different conditions.  super contracts require
an overrideable method (augride is okay), whereas override contracts require
a method which has never been augmentable (i.e. no pubments or overments).

svn: r18162

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket