lint

taskvine/src/manager/vine_manager.c

@@ -4370,7 +4370,7 @@ static void push_task_to_ready_tasks(struct vine_manager *q, struct vine_task *t
 	if (t->result == VINE_RESULT_RESOURCE_EXHAUSTION) {
 		/* when a task is resubmitted given resource exhaustion, we
 		 * increment its priority by 1, so it gets to run as soon
-		 * as possible among those with the same priority. This avoids 
+		 * as possible among those with the same priority. This avoids
 		 * the issue in which all 'big' tasks fail because the first
 		 * allocation is too small. */
 		priority_queue_push(q->ready_tasks, t, t->priority + 1);