diff --git a/thirdparty/eigen b/thirdparty/eigen index fc0f148a..dbf8cb61 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit fc0f148ab491bf36378c5d527d8f6669ccf21b07 +Subproject commit dbf8cb6151f3c654096bad91c05543e5b6f03db5