From a3a0ffef89c43d44866ba12c4991d9915bbdfa03 Mon Sep 17 00:00:00 2001
From: Pedro Gonnet <gonnet@google.com>
Date: Sun, 10 Jan 2016 22:34:10 +0100
Subject: [PATCH] fix the scheduler header file.
---
src/scheduler.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/scheduler.h b/src/scheduler.h
index b25ba843b2..9bdb9b27da 100644
--- a/src/scheduler.h
+++ b/src/scheduler.h
@@ -92,8 +92,8 @@ struct scheduler {
};
/* Function prototypes. */
-void scheduler_init(struct scheduler *s, struct space *space, int nr_queues,
- unsigned int flags, int nodeID);
+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);
void scheduler_enqueue(struct scheduler *s, struct task *t);
--
GitLab