diff --git a/thirdparty/eigen b/thirdparty/eigen
index f5ead2d3..ddce1d7d 160000
--- a/thirdparty/eigen
+++ b/thirdparty/eigen
@@ -1 +1 @@
-Subproject commit f5ead2d34c19653b92ff6a5660f83c04f09a973a
+Subproject commit ddce1d7d12076d13bac1c517609ca6b638d071f4