LINTER

Definition of LINTER