diff --git a/thirdparty/eigen b/thirdparty/eigen index d791d488..33d0937c 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit d791d48859c6fc7850c9fd5270d2b236c818068d +Subproject commit 33d0937c6bdf5ec999939fb17f2a553183d14a74