diff --git a/thirdparty/eigen b/thirdparty/eigen index 7ad7c1d5..a097f728 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 7ad7c1d5c59ab0bf87f83003283f0cc8357789bd +Subproject commit a097f728fe8a6b87dddd33f205839eb617796238