diff --git a/thirdparty/eigen b/thirdparty/eigen
index 715deac1..9c211430 160000
--- a/thirdparty/eigen
+++ b/thirdparty/eigen
@@ -1 +1 @@
-Subproject commit 715deac188f18447355d2b6733e7cdac1de75e52
+Subproject commit 9c211430b5ecafc11b940203cfaa794bab2b6d22