diff --git a/src/support/eigen-git-mirror b/src/support/eigen-git-mirror
index 7846c738..462758e8 160000
--- a/src/support/eigen-git-mirror
+++ b/src/support/eigen-git-mirror
@@ -1 +1 @@
-Subproject commit 7846c7387c1cb09cef7329630012ea1aefe64cf9
+Subproject commit 462758e8a3da38f8c90e9ca2cb859ea1117e03df