# HG changeset patch
# User kazz <kazz@cr.ie.u-ryukyu.ac.jp>
# Date 1292506825 -32400
# Node ID dbd083c00be476c4f5464cfa210e2eb99bfb15c4
# Parent  f994f50322992e4ed8817e7454ed2dbfe3b6d19f
TaskManagerImpl::get_task_name() fix in header file

diff -r f994f5032299 -r dbd083c00be4 TaskManager/kernel/ppe/TaskManagerImpl.h
--- a/TaskManager/kernel/ppe/TaskManagerImpl.h	Thu Dec 16 22:35:25 2010 +0900
+++ b/TaskManager/kernel/ppe/TaskManagerImpl.h	Thu Dec 16 22:40:25 2010 +0900
@@ -54,12 +54,12 @@
     virtual HTaskPtr create_task(int cmd,void *from);
     virtual HTaskPtr create_task(int cmd, memaddr rbuf, long r_size, memaddr wbuf, long w_size,void *from);
     virtual HTaskPtr create_task_array(int id, int num_task, int num_param, int num_inData, int num_outData,void *from);
-	const char *TaskManagerImpl::get_task_name(int cmd);
-	const char *TaskManagerImpl::get_task_name(TaskPtr task);
-	const char *TaskManagerImpl::get_task_name(SimpleTaskPtr simpletask);
-	const char *TaskManagerImpl::get_task_name(SchedTaskBase *schedtask);
-	const char *TaskManagerImpl::get_task_name(HTaskPtr htask);
-	const char *TaskManagerImpl::get_task_name(HTaskPtr htask, int index);
+	const char *get_task_name(int cmd);
+	const char *get_task_name(TaskPtr task);
+	const char *get_task_name(SimpleTaskPtr simpletask);
+	const char *get_task_name(SchedTaskBase *schedtask);
+	const char *get_task_name(HTaskPtr htask);
+	const char *get_task_name(HTaskPtr htask, int index);
     virtual void set_task_depend(HTaskPtr master, HTaskPtr slave);
     virtual void spawn_task(HTaskPtr);
     virtual void set_task_cpu(HTaskPtr, CPU_TYPE);