diff --git a/src/scheduler.c b/src/scheduler.c
index c504588299d7ca8c00ba10d75f75a4c19c9a5524..725a9d47c9cb4cc9c6e8663570b51aa1dc735734 100644
--- a/src/scheduler.c
+++ b/src/scheduler.c
@@ -1191,7 +1191,7 @@ struct task *scheduler_unlock(struct scheduler *s, struct task *t) {
  */
 
 struct task *scheduler_gettask(struct scheduler *s, int qid,
-                               struct cell *super) {
+                               const struct task *prev) {
 
   struct task *res = NULL;
   int k, nr_queues = s->nr_queues;
@@ -1210,7 +1210,7 @@ struct task *scheduler_gettask(struct scheduler *s, int qid,
       /* Try to get a task from the suggested queue. */
       if (s->queues[qid].count > 0) {
         TIMER_TIC
-        res = queue_gettask(&s->queues[qid], super, 0);
+        res = queue_gettask(&s->queues[qid], prev, 0);
         TIMER_TOC(timer_qget);
         if (res != NULL) break;
       }
@@ -1223,7 +1223,7 @@ struct task *scheduler_gettask(struct scheduler *s, int qid,
         for (k = 0; k < scheduler_maxsteal && count > 0; k++) {
           int ind = rand_r(&seed) % count;
           TIMER_TIC
-          res = queue_gettask(&s->queues[qids[ind]], super, 0);
+          res = queue_gettask(&s->queues[qids[ind]], prev, 0);
           TIMER_TOC(timer_qsteal);
           if (res != NULL)
             break;
diff --git a/src/scheduler.h b/src/scheduler.h
index 9bdb9b27da4089723dfcd6e93912f958f4811ab6..f276b651880191074187db9f25d9115c341c541a 100644
--- a/src/scheduler.h
+++ b/src/scheduler.h
@@ -95,7 +95,7 @@ struct scheduler {
 void scheduler_init(struct scheduler *s, struct space *space, int nr_tasks,
                     int nr_queues, unsigned int flags, int nodeID);
 struct task *scheduler_gettask(struct scheduler *s, int qid,
-                               struct cell *super);
+                               const struct task* prev);
 void scheduler_enqueue(struct scheduler *s, struct task *t);
 void scheduler_start(struct scheduler *s, unsigned int mask);
 void scheduler_reset(struct scheduler *s, int nr_tasks);