set_state (FINISHED_ERROR);
}
- void run ()
+ void run () override
{
while (true) {
if (finished ()) {
}
}
- string name () const {
+ string name () const override {
return "";
}
- string json_name () const {
+ string json_name () const override {
return "";
}
};