[sv-ec] 1900 mantis (checkers): final (final_check ?) in checker ?

Hi,
 
In "16.18.5 Checker procedures" section of the proposal there is:

"The following procedures are allowed inside a checker body:
- initial_check procedure, and
- always_check procedure"

Anybody wondered about having final (final_check ?) procedure too ?

 

Regards,

Mirek

 

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.