diff --git a/thirdparty/eigen b/thirdparty/eigen
index e0f18b79..8a4a417d 160000
--- a/thirdparty/eigen
+++ b/thirdparty/eigen
@@ -1 +1 @@
-Subproject commit e0f18b799e2cc7d416fdb0aec2075dceebbc8295
+Subproject commit 8a4a417dde40a03632e56b771e9fbadbc938d790