deleted priority_queue