diff --git a/thirdparty/eigen b/thirdparty/eigen index c29c8001..ec18dd09 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit c29c800126982c561e8d0b9255dc65474cd98de3 +Subproject commit ec18dd09c8fe7dda881331737a012a2cfbf5d9e4