diff --git a/runtime/src/global_request_scheduler_deque.c b/runtime/src/global_request_scheduler_deque.c index 4b0d133..628f57f 100644 --- a/runtime/src/global_request_scheduler_deque.c +++ b/runtime/src/global_request_scheduler_deque.c @@ -15,15 +15,14 @@ static pthread_mutex_t global_request_scheduler_deque_mutex = PTHREAD_MUTEX_INIT * @returns pointer to request if added. NULL otherwise */ static struct sandbox * -global_request_scheduler_deque_add(void *sandbox_raw) +global_request_scheduler_deque_add(struct sandbox *sandbox) { - struct sandbox *sandbox = (struct sandbox *)sandbox_raw; - int return_code = 1; + int return_code = 1; return_code = deque_push_sandbox(global_request_scheduler_deque, &sandbox); if (return_code != 0) return NULL; - return sandbox_raw; + return sandbox; } /**