No public description

PiperOrigin-RevId: 745695659
Change-Id: Ifc595fe6199b3e4be51480325823ccf8f24b56c4
diff --git a/Eigen/src/ThreadPool/NonBlockingThreadPool.h b/Eigen/src/ThreadPool/NonBlockingThreadPool.h
index 4ec1354..44d4b24 100644
--- a/Eigen/src/ThreadPool/NonBlockingThreadPool.h
+++ b/Eigen/src/ThreadPool/NonBlockingThreadPool.h
@@ -184,7 +184,7 @@
           // steal one more time, to make sure that this task will be
           // executed. We will not necessarily find it, because it might
           // have been already stolen by some other thread.
-          if (has_no_notify_task && !t->f) *t = q.PopFront();
+          if (has_no_notify_task && !t->f) *t = GlobalSteal();
         }
       }
     }