diff --git a/third_party/eigen b/third_party/eigen index e3a49c00..5c7410d1 160000 --- a/third_party/eigen +++ b/third_party/eigen @@ -1 +1 @@ -Subproject commit e3a49c00ea6c9483f449d23abf80f282e7136431 +Subproject commit 5c7410d1e9550f68860fefd24307a4db6c7ddb91