diff --git a/third_party/eigen b/third_party/eigen index 3f5976c41..ed3db99ec 160000 --- a/third_party/eigen +++ b/third_party/eigen @@ -1 +1 @@ -Subproject commit 3f5976c41fbce42272d3ebd72165a8d00ecbefdb +Subproject commit ed3db99ec3caff039f72645b7c5feb68717c8655