Small extension of scheduler
diff --git a/scheduler/scheduler.cc b/scheduler/scheduler.cc
index 225e484..7bdf2d6 100644
--- a/scheduler/scheduler.cc
+++ b/scheduler/scheduler.cc
@@ -114,6 +114,12 @@
   return false;
 }
 
+virtual void
+Scheduler::deleteTask(TaskPtr task)
+{
+  deleteTask (task->tag ());
+}
+
 void
 Scheduler::rescheduleTask(const Task::Tag &tag)
 {