diff --git a/thirdparty/eigen b/thirdparty/eigen
index 9589cc4e..715deac1 160000
--- a/thirdparty/eigen
+++ b/thirdparty/eigen
@@ -1 +1 @@
-Subproject commit 9589cc4e7fd8e4538bedef80dd36c7738977a8be
+Subproject commit 715deac188f18447355d2b6733e7cdac1de75e52