Fix a potential deadlock because of Eigen thread pool
1 file changed