/*******************************************************************\

Module: Lint Examples

Author: Thomas Kiley, thomas@diffblue.com

\*******************************************************************/

class test_classt:public base_classt
{
public:
  virtual void fun() override final;
};
